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.)
Publisher: Universidad de Alcalá
ISBN: 84-8138-409-7
Year of publication: 2000
Pages: 496-502
Congress: Jornadas de Enseñanza Universitaria de la Informática (JENUI) (6. 2000. Alcalá de Henares)
Type: Conference paper