Vilares, Manuel y Alonso, Miguel Ángel y Valderruten, Alberto, Programación Lógica, 1ª, Galaxia, 1996
Lalément, Rene, Computation as Logic, 978-0137700097, 1ª, Prentice-Hall, 1993
Bibliografía Complementaria
Maier, David y Warren, David S., Computing with Logic. Logic Programming with Prolog, 978-0805366815, 1ª, Benjamin-Cummings Publishing Co, 1988
Sterling, Leon S. y Shapiro, Ehud Y., The Art of Prolog, 978-O262193382, 2ª, MIT Press, 1994
Genessereth, Michael R. y Nilsson, Nils J., Logical Foundations of Artificial Intelligence, 978-0934613316, 1ª, Morgan Kaufmann, 1987
Ben-Ari, Mordechai, Mathematical Logic for Computer Science, 978-1447141280, 2ª, Springer, 2012
Reeves, Steve y Clarke, Mike, Logic for Computer Science, 978-0201416435, 1ª, Addison-Wesley, 1990
Universidade de Vigo
|
Rectorado |
Campus Universitario |
C.P. 36.310 Vigo (Pontevedra) |
España |
Tlf: +34 986 812 000
Vilares, Manuel y Alonso, Miguel Ángel y Valderruten, Alberto, Programación Lógica, 1ª, Galaxia, 1996