Proyecto de investigación


Gestión mecanizada del conocimiento matemático. Aplicaciones en lógica
logo financiador

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:

Vicerrectorado de Investigación. Universidad de Sevilla. Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla