|
|
Línea 6: |
Línea 6: |
| | | |
| Antes del 2010, las lecturas se comentaban en la wiki y su relación se encuentra [[Lecturas comentadas | aquí]]. | | Antes del 2010, las lecturas se comentaban en la wiki y su relación se encuentra [[Lecturas comentadas | aquí]]. |
− |
| |
− | == 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, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007) <br>''[[Solving challenging grid puzzles with answer set programming]]''.
| |
− | # G. Gonthier (2008) <br> ''[[Formal Proof: The Four-Color Theorem]]''
| |
− | # T.C. Hales (2008) <br> ''[[Formal Proof]]''
| |
− | # J. Harrison (1998) <br>''[[Formalizing basic first order model theory]]''
| |
− | # 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]]''.
| |
− | # M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007) <br> ''[[Semantic Wikipedia]]''.
| |
− | # N. Magaud, J Narboux y P. Schreck (2009) <br> ''[[Formalizing Desargues' theorem in Coq using ranks]]''.
| |
− | # J. Rehmeyer (2008) <br> ''[[How to (really) trust a mathematical proof]]''.
| |
− | # C.E. Veni Madhavan (2005) <br>''[[Mathematics and computer science: The interplay]]''.
| |
− | # P. Marić y P. Janicić (2009)<br>''[[Formal Correctness Proof for DPLL Procedure]]''.
| |
− |
| |
− | == Lecturas compartidas ==
| |
| | | |
| [[Category:Lecturas]] | | [[Category:Lecturas]] |