Diferencia entre revisiones de «Sistemas»
De Razonamiento automático (2016-17)
(→Sistemas utilizados en Razonamiento automático (2016-17)) |
(→Sistemas utilizados en Razonamiento automático (2016-17)) |
||
| Línea 3: | Línea 3: | ||
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]. | # [http://www.cl.cam.ac.uk/research/hvg/Isabelle/index.html Isabelle/HOL]. | ||
| + | # [http://www.glc.us.es/apli2 APLI2 (APLIcación de Ayuda Para Lógica Informática)]. | ||
Revisión actual del 16:12 26 ene 2017
Sistemas utilizados en Razonamiento automático (2016-17)
En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso