Diferencia entre revisiones de «Lecturas»
Línea 7: | Línea 7: | ||
# J. Harrison (1998) <br>''[[Formalizing basic first order model theory]]'' | # J. Harrison (1998) <br>''[[Formalizing basic first order model theory]]'' | ||
# J. Harrison (2007) <br>''[[A short survey of automated reasoning]]'' | # J. Harrison (2007) <br>''[[A short survey of automated reasoning]]'' | ||
+ | # J. Harrison (2008) <br> ''[[Formal Proof: Theory and Practice]]'' | ||
# C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer (2008) <br> ''[[Deduction using the ProofWeb system]]''. | # C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer (2008) <br> ''[[Deduction using the ProofWeb system]]''. | ||
# M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007) <br> ''[[Semantic Wikipedia]]''. | # M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007) <br> ''[[Semantic Wikipedia]]''. |
Revisión del 10:53 16 dic 2008
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.
- 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.