Acciones

Diferencia entre revisiones de «Sistemas»

De Razonamiento automático (2017-18)

(Página creada con '== Sistemas utilizados en ''Razonamiento automático (2017-18)'' == En esta página se irá escribiendo enlaces a los sistemas utilizados en el curso # [http://www.cl.cam.ac.uk...')
(Sin diferencias)

Revisión del 08:39 9 sep 2017

Sistemas utilizados en Razonamiento automático (2017-18)

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).