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 €
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2003) · 96 pàg. · 16 €
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2002) · 109 pàg. · 8 €
Nos últimos anos, temos observado um crescente aumento do interesse pelo aprendizado da língua portuguesa dentro da comunidade universitária da UAB, especialmente por parte...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2010) · 146 pàg. · 11 €
Josep Gasa: Doctor en Veterinaria (1984) por la Universidad de Zaragoza y catedrático de producción animal del departamento de Ciència Animal i dels Aliments de la UAB desd...
(Servei de Publicacions de la Universitat Autònoma de Barcelona, 2015) · 176 pàg. · 17 €
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