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)