e-BUC

Binefa Valls, Xavier

L˜gica computacional

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.

Servei de Publicacions de la Universitat Autònoma de Barcelona, 1998 · Materials, 54 · 123 p. · 19 x 28 cm · enquadernació convencional · ISBN 978-84-490-1384-3 · 9 €

Comprar a Libelista

digital: El buen vecino
Varios autores
(Publicacions de la Universitat de València, 2017) · 4 €

15 anys d'invest. sobre gènere a la UIB
Bosch Fiol, Esperança;Ferrer Pérez, Victoria A.;Riera Madurell, Teresa
(Edicions UIB, 1999) · 306 p. · 16 €

digital: Procesos de separaci½n de biotecnologa industrial
Recasens Baxarias, Francesc
(Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2018) · 404 p. · 15 €

MÉS CONSULTATS

	La construcción con tierra en Arqueología Pastor Quiles, María (Publicacions Universitat Alacant, 2017) · 208 p. · 14 €
	digital: El método dialéctico en Jean-Paul Sartre Ranch Sales, Eduardo (Publicacions Universitat Alacant, 2018) · 0 p. · 5 €
	digital: GEOMETRÍA DESCRIPTIVA. SISTEMA ACOTADO: APLICACIONES Diaz Minguez, Rodrigo (Universitat Politècnica de València, 2015) · 316 p. · 6 €
	La automatización en la ingeniería química Guadayol Cunill, Josep M.;Medina García, José Luis (Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2010) · 188 p. · 23 €
	Viurem per sempre? Willmott, Chris;Macip Maresma, Salvador (Eumo Editorial SAU, 2020) · 200 p. · 18 €
	digital: Lecciones de arquitectura Gallego Olmos, Moisés (Universitat Politecnica de Catalunya. Iniciativa Digital Politecnica, 2014) · 223 p. · 9 €

E-BUC