Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2016-17)
(Página creada con '== Sistemas utilizados en ''Razonamiento automático (2016-17)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk...') |
(→Sistemas utilizados en Razonamiento automático (2016-17)) |
||
| Línea 2: | Línea 2: | ||
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 Isabelle/HOL]. | + | # [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL]. |
Revisión del 15:56 15 oct 2016
Sistemas utilizados en Razonamiento automático (2016-17)
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso