Razonamiento automático (2016-17) Razonamiento automático (2016-17)

Sistemas utilizados en Razonamiento automático (2016-17)

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

1. Isabelle/HOL.
2. APLI2 (APLIcación de Ayuda Para Lógica Informática).