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

Book:
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

Publisher: Universidad Jaume I

ISBN: 978-84-695-8051-6

Year of publication: 2013

Pages: 201-208

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

Type: Conference paper

DIALNET GOOGLE SCHOLAR lock_openOpen access editor
Data source: Dialnet