Proxecto de investigación
DOC96-2415
Lógica clásica de primer orden. Estrategias de deducción y formalización
date_range
Duración do 11 de febreiro de 1997 ao 10 de febreiro de 1999
(24 meses)
Con carácter Público. Outorgouse en réxime de Concorrencia competitiva.
Convocatoria:
Investigadores/as
JOSE LUIS
FALGUERA LOPEZ
Responsable