Lecturas de razonamiento formalizado (del 27-Oct-2010 al 1-Jul-2011)
Esta entrada es una recopilación de lecturas sobre razonamiento formalizado que hemos compartido este curso en la lista de correo del grupo de lógica computacional.
La recopilación de los está ordenada según el sistema de razonamiento utilizado (ACL2, Agda, Coq, HOL, Isabelle, Matita, Mizar, Otter/Prover9, PVS ó Twelfe) y, dentro de cada uno, por la fecha de su publicación.
Read More “Lecturas de razonamiento formalizado (del 27-Oct-2010 al 1-Jul-2011)”