Paniagua Arís, Enrique y Sánchez González, Juan Luis y Martín Rubio, Fernando, Lógica computacional, 978-8497321822, 1ª, Paraninfo, 2003
Vilares, Manuel y Alonso, Miguel Ángel y Valderruten, Alberto,, Programación Lógica,, 978-8488967365, 1ª, Galaxia, 1996
Ben-Ari, Mordechai, Mathematical Logic for Computer Science, 978-1447141280, 2ª, Springer, 2012
Bibliografía Complementaria
Huth, Michael y Ryan, Mark, Logic in Computer Science, 978-0521543101, 2ª, Cambridge University Press, 2004
Lalément, Rene, Computation as Logic, 978-0137700097, 1ª, Prentice-Hall, 1993
Sterling, Leon S. y Shapiro, Ehud Y., The Art of Prolog, 978-0262691635, 3ª, MIT Press, 1999
Universidade de Vigo
|
Reitoría |
Campus Universitario |
C.P. 36.310 Vigo (Pontevedra) |
España |
Tlf: +34 986 812 000
Paniagua Arís, Enrique y Sánchez González, Juan Luis y Martín Rubio, Fernando, Lógica computacional, 978-8497321822, 1ª, Paraninfo, 2003