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:
- Investigadores:
- Alejandro Fernández Margarit
- María José Hidalgo Doblado
- Francisco Jesús Martín Mateos
- José Luis Ruiz Reina
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla