Razonamiento automático (2013-14) Razonamiento automático (2013-14)

  • Página principal
  • Temas
  • Ejercicios
  • Documentación
  • Diario
  • Cambios recientes
  • Lo que enlaza aquí
  • Cambios relacionados
  • Páginas especiales
  • Versión para imprimir
  • Enlace permanente
  • Información de la página
  • Acceder
  • Razonamiento automático (2013-14)
  • Página principal
  • Temas
  • Ejercicios
  • Documentación
  • Diario
  • Cambios recientes
  • Lo que enlaza aquí
  • Cambios relacionados
  • Páginas especiales
  • Versión para imprimir
  • Enlace permanente
  • Información de la página
 Acciones
  • Página
  • Discusión
  • Ver código
  • Historial

Temas

De Razonamiento automático (2013-14)

Revisión del 08:30 14 nov 2013 de Jalonso (discusión | contribuciones) (→‎Temas de Razonamiento automático (2013-14))
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Temas de Razonamiento automático (2013-14)

  • Tema 1: Programación funcional en Isabelle.
  • Tema 2a: Razonamiento sobre programas Haskell
  • Tema 2b: Razonamiento automático sobre programas en Isabelle/HOL.
Obtenido de «https://www.glc.us.es/~jalonso/RA2013/index.php?title=Temas&oldid=85»
  • El contenido está disponible bajo la licencia Creative Commons Atribución-NoComercial-CompartirIgual a menos que se indique lo contrario.
  • Normativa de privacidad
  • Acerca de Razonamiento automático (2013-14)
  • Exoneraciones
  • Powered by MediaWiki