Acciones

Sistemas

De Demostración automática de teoremas (2014-15)

Revisión del 21:03 19 feb 2015 de Mjoseh (discusión | contribuciones) (Página creada con '== Sistemas utilizados en ''Demostración automática de teoremas (2014-15)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www...')
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Sistemas utilizados en Demostración automática de teoremas (2014-15)

En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso

  1. Isabelle/HOL.
Obtenido de «https://www.glc.us.es/~jalonso/DAT2015/index.php?title=Sistemas&oldid=7»