Lecturas comentadas

De WikiGLC
Revisión del 18:54 27 abr 2013 de Jalonso (discusión | contribuciones) (New page: == Lecturas comentadas == # K.R. Apt y M.G. Wallace (2007) <br>''Constraint Logic Programming using Eclipse''. # B. Buchberger (1991) <br> ''Logic for Computer Science'' # M. Cayli...)
(dif) ← Revisión anterior | Revisión actual (dif) | Revisión siguiente → (dif)
Saltar a: navegación, buscar

Lecturas comentadas

  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.