Portada del llibre






Binefa Valls, Xavier
Lgica computacional

El text recull les classes de l'assignatura de lgica computacional impartides per l'autor a Enginyeria Informtica. Desprs d'un estudi aprofundit del ProLog i la programaci lgica, s'estudien les bases lgiques (clculs formals, semntica i especialment clcul per resoluci) en qu es fonamenta. El text cont nombrosos exercicis tipus tant de ProLog com de lgica.

Servei de Publicacions de la Universitat Autnoma de Barcelona, 1998 Materials, 54 123 p. 19 x 28 cm enquadernaci convencional ISBN 978-84-490-1384-3 9

Comprar!
Comprar a Libelista


Portada del llibre






digital: El buen vecino
Varios autores
(Publicacions de la Universitat de Valncia, 2017) 4

Portada del llibre






15 anys d'invest. sobre gnere a la UIB
Bosch Fiol, Esperana;Ferrer Prez, Victoria A.;Riera Madurell, Teresa
(Edicions UIB, 1999) 306 p. 16

Portada del llibre






digital: Procesos de separacin de biotecnologa industrial
Recasens Baxarias, Francesc
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2018) 404 p. 15

MS CONSULTATS

Portada del llibre






La construccin con tierra en Arqueologa
Pastor Quiles, Mara
(Publicacions Universitat Alacant, 2017) 208 p. 14

Portada del llibre






digital: El mtodo dialctico en Jean-Paul Sartre
Ranch Sales, Eduardo
(Publicacions Universitat Alacant, 2018) 0 p. 5

Portada del llibre






digital: GEOMETRA DESCRIPTIVA. SISTEMA ACOTADO: APLICACIONES
Diaz Minguez, Rodrigo
(Universitat Politcnica de Valncia, 2015) 316 p. 6

Portada del llibre






La automatizacin en la ingeniera qumica
Guadayol Cunill, Josep M.;Medina Garca, Jos Luis
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2010) 188 p. 23

Portada del llibre






Viurem per sempre?
Willmott, Chris;Macip Maresma, Salvador
(Eumo Editorial SAU, 2020) 200 p. 18

Portada del llibre






digital: Lecciones de arquitectura
Gallego Olmos, Moiss
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2014) 223 p. 9