Proyecto de investigación


Desarrollo y verificación formal de sistemas de razonamiento

Responsable: José Antonio Alonso Jiménez
Tipo de Proyecto/Ayuda: Plan Nacional del 2000
Referencia: TIC2000-1368-C03-02
Fecha de Inicio: 28-12-2000
Fecha de Finalización: 27-12-2003

Empresa/Organismo financiador/es:

  • Ministerio de Ciencia y Tecnología

Equipo:

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