Guia docente 2019_20
E. S. de Enxeñaría Informática
Grao en Enxeñaría Informática
 Materias
  Lóxica para a computación
   Bibliografía. Fontes de información
Bibliografía Básica Vilares, Manuel y Alonso, Miguel Ángel y Valderruten, Alberto, Programación Lógica, 1ª, Galaxia, 1996, España
Lalément, Rene, Computation as Logic, 1ª, Prentice-Hall, 1993, EEUU
Bibliografía Complementaria Maier, David y Warren, David S., Computing with Logic. Logic Programming with Prolog, 1ª, Benjamin-Cummings Publishing Co, 1988, EEUU
Sterling, Leon S. y Shapiro, Ehud Y., The Art of Prolog, 2ª, MIT Press, 1994, EEUU
Genessereth, Michael R. y Nilsson, Nils J., Logical Foundations of Artificial Intelligence, 1ª, Morgan Kaufmann, 1987, EEUU
Ben-Ari, Mordechai, Mathematical Logic for Computer Science, 2ª, Springer, 2012, Alemania, EEUU
Reeves, Steve y Clarke, Mike, Logic for Computer Science, 1ª, Addison-Wesley, 1990, EEUU
Universidade de Vigo            | Reitoría | Campus Universitario | C.P. 36.310 Vigo (Pontevedra) | España | Tlf: +34 986 812 000