Herramienta para la enseñanza de la deducción natural
- Faraón Llorens 1
- Sergio Mira 1
-
1
Universitat d'Alacant
info
- Rosalía Peña (coord.)
- Pedro Ramos (coord.)
- Antonio J. de Vicente (coord.)
Verlag: Universidad de Alcalá
ISBN: 84-8138-409-7
Datum der Publikation: 2000
Seiten: 496-502
Kongress: Jornadas de Enseñanza Universitaria de la Informática (JENUI) (6. 2000. Alcalá de Henares)
Art: Konferenz-Beitrag