Proyecto de investigación
Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica
Responsable: José Luis Ruiz Reina
Tipo de Proyecto/Ayuda: Plan Nacional del 2009
Referencia: MTM2009-13842-C02-02
Fecha de Inicio: 01-01-2010
Fecha de Finalización: 31-12-2010
Empresa/Organismo financiador/es:
- Ministerio de Ciencia e Innovación
Equipo:
- Investigadores:
- José Antonio Alonso Jiménez
- María José Hidalgo Doblado
- Francisco Jesús Martín Mateos
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla