Research project
DOC96-2415
Lógica clásica de primer orden. Estrategias de deducción y formalización
date_range
Duration: from 11 February 1997 to 10 February 1999
(24 months)
Finished
With a Public character. It has been granted under a regime of Competitive.
Researchers
JOSE LUIS
FALGUERA LOPEZ
Leader