El uso de los demostradores automáticos de teoremas para la enseñanza de la programación

  1. Ana Romero 1
  1. 1 Universidad de La Rioja
    info

    Universidad de La Rioja

    Logroño, España

    ROR https://ror.org/0553yr311

Libro:
Actas de las XIX Jornadas de la Enseñanza Universitaria de la Informática: JENUI 2013 : Castellón, del 10 al 12 de julio de 2013

Editorial: Universidad Jaume I

ISBN: 978-84-695-8051-6

Ano de publicación: 2013

Páxinas: 201-208

Congreso: Jornadas de Enseñanza Universitaria de la Informática (JENUI) (19. 2013. Castellón)

Tipo: Achega congreso