Diferencia entre revisiones de «Lecturas»

De WikiGLC
Saltar a: navegación, buscar
Línea 6: Línea 6:
 
# 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]]''.  
 
# N. Magaud, J Narboux y P. Schreck (2009) <br> ''[[Formalizing Desargues' theorem in Coq using ranks]]''.
 
# 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]]''.
+
#  J. Rehmeyer (2008) <br> ''[[How to (really) trust a mathematical proof]]''.
 
# C.E. Veni Madhavan (2005) <br>''[[Mathematics and computer science: The interplay]]''.
 
# C.E. Veni Madhavan (2005) <br>''[[Mathematics and computer science: The interplay]]''.
  
 
[[Category:Lecturas]]
 
[[Category:Lecturas]]

Revisión del 08:54 19 nov 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.

  1. K.R. Apt y M.G. Wallace (2007)
    Constraint Logic Programming using Eclipse.
  2. M. Cayli, A. G. Karatop, E. Kavlak, H. Kaynar, F. Ture y E. Erdem. (2007)
    Solving challenging grid puzzles with answer set programming.
  3. J. Harrison (2007)
    A short survey of automated reasoning
  4. C. Kaliszyk, F. van Raamsdonk, F. Wiedijk, H. Wupper, M. Hendriks y R. de Vrijer (2008)
    Deduction using the ProofWeb system.
  5. M. Krötzsch, D. Vrandecic, M. Völkel, H. Haller y R. Studer (2007)
    Semantic Wikipedia.
  6. N. Magaud, J Narboux y P. Schreck (2009)
    Formalizing Desargues' theorem in Coq using ranks.
  7. J. Rehmeyer (2008)
    How to (really) trust a mathematical proof.
  8. C.E. Veni Madhavan (2005)
    Mathematics and computer science: The interplay.