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.)
Éditorial: Universidad de Alcalá
ISBN: 84-8138-409-7
Année de publication: 2000
Pages: 496-502
Congreso: Jornadas de Enseñanza Universitaria de la Informática (JENUI) (6. 2000. Alcalá de Henares)
Type: Communication dans un congrès