Diferencia entre revisiones de «Lecturas»

De WikiGLC
Saltar a: navegación, buscar
 
(No se muestran 20 ediciones intermedias de 2 usuarios)
Línea 1: Línea 1:
−
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.
+
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:
−
# K.R. Apt y M.G. Wallace (2007) <br>''[[Constraint Logic Programming using Eclipse]]''.
+
* [[Lecturas del año 2010]].
−
# B. Buchberger (1991) <br> ''[[Logic for Computer Science]]''
+
* [[Lecturas del año 2011]].
−
# M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007) <br>''[[Solving challenging grid puzzles with answer set programming]]''.
+
* [[Lecturas del año 2012]].
−
# G. Gonthier (2008) <br> ''[[Formal Proof--The Four-Color Theorem]]''
+
* [[Lecturas del año 2013]].
−
# J. Harrison (1998) <br>''[[Formalizing basic first order model theory]]''
+
* [[Lecturas del año 2014]].
−
# J. Harrison (2007) <br>''[[A short survey of automated reasoning]]''
+
 
−
# C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer (2008) <br> ''[[Deduction using the ProofWeb system]]''.
+
Antes del 2010, las lecturas se comentaban en la wiki y su relación se encuentra [[Lecturas comentadas | aquí]].
−
# 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]]''.
 
  
 
[[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»