Ben-Ari, Mordechai, Mathematical Logic for Computer Science, 978-1-85233-319-5, 2ª, Springer, 2012
Huth, Michael y Ryan, Mark, Logic in Computer Science, 978-0-521-54310-1, 2ª, Cambridge University Press, 2004
Vilares, Manuel y Alonso, Miguel Ángel y Valderruten, Alberto,, Programación Lógica,, 8489641188, 1ª, Galaxia, 1996
Paniagua Arís, Enrique y Sánchez González, Juan Luis y Martín Rubio, Fernando, Lógica computacional, 84-9732-182-0, 1ª, Paraninfo, 2003
Bibliografía Complementaria
Bratko, Ivan, Prolog programming for artificial intelligence, 978-0321417466, 4ª, Addison Wesley, 2011
Sterling, Leon S. y Shapiro, Ehud Y., The Art of Prolog, 0-262-19338-8, 3ª, MIT Press, 1999
Copi, Irving y Cohen, Carl, Introduction to logic, 978-1-138-50086-0, 15ª, Routledge, 2019
Universidade de Vigo
|
Rectorado |
Campus Universitario |
C.P. 36.310 Vigo (Pontevedra) |
España |
Tlf: +34 986 812 000
Ben-Ari, Mordechai, Mathematical Logic for Computer Science, 978-1-85233-319-5, 2ª, Springer, 2012