|
|
VICERRECTORADO DE INVESTIGACIÓN | ||
|
||||
|
||||
|
|
|
||||||
Ayuda a la investigación
VIII Jornadas de Automatización del razonamiento
Responsable: Juan Antonio Ortega Ramírez
Tipo de Proyecto/Ayuda: OPN - Acción Complementaria
Referencia: DPI2005-25241-E
Fecha de Inicio: 05-07-2006
Fecha de Finalización: 05-07-2007
Empresa/Organismo financiador/es:
- Ministerio de Educación y Ciencia
Equipo:
- Investigadores:
- Pedro José Abad Herrera
- Juan Antonio Álvarez García
- María Teresa Escrig Monferrer
- Antonio José Suárez Fábrega
Vicerrectorado de Investigación. Universidad de Sevilla.
Pabellón de Brasil. Paseo de las Delicias s/n. Sevilla