Lecturas

En esta sección se recogen los comentarios de los miembros del Grupo de algunas de las lecturas de publicaciones relacionadas con los temas de investigación del Grupo.

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

[Formal Correctness Proof for DPLL Procedure]].