11:03 5 ene 2016
(dif | hist) . .(+1908) . . N
Temas LCyTM 2015
(Página creada con '== Temas de ''Lógica computacional y teoría de modelos (2015-16)'' == *[http://www.cs.us.es/~mjoseh/dat-15/tema-1.pdf Tema 1: Sintaxis y semántica de la Lógica proposicional...')
09:49 9 feb 2015
(dif | hist) . .(+496) . . N
Demostración automática de teoremas (2014-15)
(Página creada con '== Demostración automática de teoremas (2014-15) == Este sitio contiene materiales del curso ''Demostración automática de teoremas'' del [http://www.matematicas.us.es/estudi...')
