El text recull les classes de l'assignatura de lògica computacional impartides per l'autor a Enginyeria Informàtica. Després d'un estudi aprofundit del ProLog i la programació lògica, s'estudien les bases lògiques (càlculs formals, semàntica i especialment càlcul per resolució) en què es fonamenta. El text conté nombrosos exercicis tipus tant de ProLog com de lògica.
Bellaterra (cerdanyola del Vallès): Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998 · Materials, 54
123 p. · 19,5 x 28 cm · · ISBN 978-84-490-1384-3 · 9,01 €
Curso de Derecho Mercantil es un material docente dirigido a los estudiantes que se aproximan por primera vez al Derecho mercantil desde el Grado de Relaciones Laborales u otr...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2020) · 274 pàg. · 7,99 €
Aquesta publicació aporta un conjunt d'eines essencials per a la recerca en psicologia. Atès el caràcter eminentment instrumental de la matèria sobre la qual versa, el tex...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2007) · 222 pàg. · 17 €
Este libro se dirige a los estudiantes de veterinaria y a los clínicos. La neuroanatomía es una parte fundamental de la neurología y en este libro se ha hecho un esfuerzo p...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2008) · 100 pàg. · 34 €
En aquesta obra es fa una presentació clara i directa de les tècniques més bàsiques d'àlgebra lineal. Amb un llenguatge especialment adreçat als estudiants, s'introdueix...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2016) · 138 pàg. · 13 €
Universitat Abat Oliba CEU • Universitat d'Alacant • Universitat d'Andorra • Universitat Autònoma de Barcelona • Universitat de Barcelona • Universitat CEU Cardenal Herrera • Universitat de Girona • Universitat de les Illes Balears • Universitat Internacional de Catalunya • Universitat Jaume I • Universitat de Lleida • Universitat Miguel Hernández d'Elx • Universitat Oberta de Catalunya • Universitat de Perpinyà Via Domitia • Universitat Politècnica de Catalunya • Universitat Politècnica de València • Universitat Pompeu Fabra • Universitat Ramon Llull • Universitat Rovira i Virgili • Universitat de Sàsser • Universitat de València • Universitat de Vic - Universitat Central de Catalunya