Herramienta para la enseñanza de la deducción natural

Faraón Llorens ^[1] ; Sergio Mira ^[1]
1. [1] Universitat d'Alacant
  
  Universitat d'Alacant
  
  Alicante, España
Localización: VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones / coord. por Rosalía Peña Ros , Pedro Antonio Ramos Alonso , Antonio José de Vicente Rodríguez, 2000, ISBN 84-8138-409-7, págs. 496-502
Idioma: español
Enlaces
- Texto completo (pdf)