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

  1. Faraón Llorens 1
  2. Sergio Mira 1
  1. 1 Universitat d'Alacant
    info

    Universitat d'Alacant

    Alicante, España

    ROR https://ror.org/05t8bcz72

Libro:
VI Jornadas sobre la Enseñanza Universitaria de la Informática: JENUI 2000 : Libro de Comunicaciones
  1. Rosalía Peña (coord.)
  2. Pedro Ramos (coord.)
  3. Antonio J. de Vicente (coord.)

Editorial: Universidad de Alcalá

ISBN: 84-8138-409-7

Año de publicación: 2000

Páginas: 496-502

Congreso: Jornadas de Enseñanza Universitaria de la Informática (JENUI) (6. 2000. Alcalá de Henares)

Tipo: Aportación congreso