Forschungsprojekt
DOC96-2415
Lógica clásica de primer orden. Estrategias de deducción y formalización
date_range
Dauer von 11 von Februar von 1997 bis 10 von Februar von 1999
(24 Monate)
Fertig
Mit dem Zeichen Öffentlich. Es wurde auf Konkurrenzfähiger Wettbewerb-Basis gewährt.
Forscher/innen
JOSE LUIS
FALGUERA LOPEZ
Verantwortlich