Acciones

Sistemas

De Razonamiento automático (2015-16)

Revisión del 14:52 8 feb 2022 de Jalonso (discusión | contribuciones) (Página creada con «== Temas utilizados en ''Razonamiento automático (2015-16)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.…»)
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)

Temas utilizados en Razonamiento automático (2015-16)

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

  1. Isabelle/HOL.