https://www.glc.us.es/web/index.php?action=history&feed=atom&title=Lecturas_comentadas 2026-07-18T11:01:54Z Historial de revisiones para esta página en el wiki MediaWiki 1.31.0 https://www.glc.us.es/web/index.php?title=Lecturas_comentadas&diff=1195&oldid=prev 2013-04-27T17:54:24Z

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

Jalonso