Seminario del Grupo de Lógica Computacional

De WikiGLC
Saltar a: navegación, buscar

Los Seminarios del Grupo de Lógica Computacional se celebrarán los lunes de 10:00 a 11:00 en el seminario del módulo L4 del Departamento de Ciencias de la Computación e Inteligencia Artificial.

28-Abr-08

  • Título:: Isabelle como lenguaje de programación e Isar como lenguaje de demostración
  • Ponente: {jalonso}
  • Resumen: Este seminario es el primero de una serie cuyo objetivo es mostrar las posibilidades de Isabelle/Isar como sistema que permite regular el nivel de automatización de las demostraciones y hacerlas legibles por los humanos y procesable por las máquinas.
Obtenido de «https://www.glc.us.es/web/index.php?title=Seminario_del_Grupo_de_Lógica_Computacional&oldid=62»