Diferencia entre revisiones de «Lecturas»

De WikiGLC
Saltar a: navegación, buscar
 
(No se muestran 3 ediciones intermedias de 2 usuarios)
Línea 4: Línea 4:
 
* [[Lecturas del año 2012]].
 
* [[Lecturas del año 2012]].
 
* [[Lecturas del año 2013]].
 
* [[Lecturas del año 2013]].
 +
* [[Lecturas del año 2014]].
  
 
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]]

Revisión actual del 18:12 30 mar 2014

En esta sección se recopila las lecturas compartidas en la lista de correo del Grupo de Lógica Computacional. La lecturas están ordenadas por la fecha de su publicación en la lista del GLC:

Antes del 2010, las lecturas se comentaban en la wiki y su relación se encuentra aquí.

Obtenido de «https://www.glc.us.es/web/index.php?title=Lecturas&oldid=1229»