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: La divulgacin cientfica
de Semir i Zivojnovic, Vladimir
(Editorial UOC, S.L., 2016) 108 p. 6

Portada del llibre






Lo que duele es el olvido. El que dol s l'oblit. (VI Encuentro-Debate Amrica Latina ayer y hoy)
Garca Jordn, Pilar
(Publicacions i Edicions de la Universitat de Barcelona, 1998) 23

Portada del llibre






digital: Dels elements de construcci i el projecte
Gonzlez Barroso, Jos Mara
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2018) 136 p. 8

MS CONSULTATS

Portada del llibre






Estadstica aplicada a les Cincies Socials
Molina Vila, Mara Dolores;Mulero Gonzlez, Julio;Nueda Roldan, Mara Jos;Pascual Romero, Mara Aurora
(Publicacions Universitat Alacant, 2015) 264 p. 15

Portada del llibre






digital: Superhroes y superescenarios
Contreras Espinosa, Ruth S.
(Editorial UOC, S.L., 2015) 94 p. 13

Portada del llibre






Nuevos horizontes en la literatura latina de Estados Unidos: Transnacionalismos, resistencias queer y sus manifestaciones en la web
Garca-Avello Fernndez-Cueto, Macarena
(Edicions UIB, 2018) 196 p. 20

Portada del llibre






Sol cap a la fosca
Cabrera Villalonga, Carles
(Edicions UIB, 2018) 184 p. 14

Portada del llibre






Contribuciones antropolgicas al estudio del desarrollo
Larrea Killinger, Cristina;Martnez Mauri, Mnica
(Editorial UOC, S.L., 2012) 170 p. 19

Portada del llibre






Manual de prcticas de laboratorio. Evaluacin de la calidad ambienta
Pachs Giner, Mara Aguas Vivas;Martnez Guijarro, Mara Remedios;Aguado Garca, Daniel
(Universitat Politcnica de Valncia, 2017) 120 p. 8