Acciones

Diferencia entre revisiones de «Sistemas»

De Razonamiento automático (2013-14)

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

Revisión actual del 10:04 28 oct 2013

Temas utilizados en Razonamiento automático (2013-14)

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

  1. Isabelle/HOL.