Ver Financiación - Prisma - Unidad de Bibliometría

Desarrollo y verificación formal de sistemas de razonamiento

Referencia: TIC2000-1368-C03-02

Tipo: Proyecto de investigación
Programa financiador: Plan Nacional del 2000
Entidad financiadora: Ministerio de Ciencia y Tecnología
Ámbito: Nacional
Convocatoria competitiva:
Fecha de inicio: 28/12/2000
Fecha de fin: 27/12/2003
Participantes en la financiación
Nombre Rol
Fernández Margarit, Alejandro Investigador/a
Ruiz Reina, José Luis Investigador/a
Alonso Jiménez, José Antonio Responsable
Hidalgo Doblado, María José Investigador/a
Martín Mateos, Francisco Jesús Investigador/a