Lecturas comentadas
De WikiGLC
Lecturas comentadas
- K.R. Apt y M.G. Wallace (2007)
Constraint Logic Programming using Eclipse.
- B. Buchberger (1991)
Logic for Computer Science
- M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007)
Solving challenging grid puzzles with answer set programming.
- G. Gonthier (2008)
Formal Proof: The Four-Color Theorem
- T.C. Hales (2008)
Formal Proof
- J. Harrison (1998)
Formalizing basic first order model theory
- J. Harrison (2007)
A short survey of automated reasoning
- J. Harrison (2008)
Formal Proof: Theory and Practice
- C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer (2008)
Deduction using the ProofWeb system.
- M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007)
Semantic Wikipedia.
- N. Magaud, J Narboux y P. Schreck (2009)
Formalizing Desargues' theorem in Coq using ranks.
- J. Rehmeyer (2008)
How to (really) trust a mathematical proof.
- C.E. Veni Madhavan (2005)
Mathematics and computer science: The interplay.
- P. Marić y P. Janicić (2009)
Formal Correctness Proof for DPLL Procedure.
