Profesores de "Razonamiento automático" [Curso 98-99]