Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2018-19)
(Página creada con «En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso») |
|||
| Línea 1: | Línea 1: | ||
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso | En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso | ||
| + | # [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL]. | ||
Revisión del 12:54 20 oct 2018
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso