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

• Ana Romero ^[1]
  1. [1] Universidad de La Rioja

     Universidad de La Rioja

     Logroño, España

     
• Localización: 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, 2013, ISBN 978-84-695-8051-6, págs. 201-208
• Idioma: español
• Enlaces
  • Texto completo (pdf)