Refine your search

Your search returned 25 results. Subscribe to this search

|
1. HANDBOOK of logic in artificial intelligence and logic programming / ed. by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1993Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.3/HAN.

Place hold Log in to add tags. Add to cart
2. Essentials of logic programming / Christopher John Hogger

Hogger, Christopher John.

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1990Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Items available for reference: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Call number: 681.3.06/HOG/ess] (3).
Location(s): Depósito - 519.68/HOG/ess, Depósito-681.3.06/HOG/ess.

3. Handbook of theoretical computer science / edited by Jan van Leeuwen

Leeuwen, Jan van.

Material type: book Book; Format: print Publisher: Amsterdam ; Oxford : Elsevier, c1990Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Checked out (4). Location(s): 681.3/HAN.

4. Estudios sobre programación lógica y sus aplicaciones / edición a cargo de Verónica Dahl y Alejandro Sobrino

Sobrino, Alejandro | Dahl, Verónica | Universidad de Santiago de Compostela.

Material type: book Book; Format: print Publisher: Santiago de Compostela : Universidade, 1996Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3), 06. BIBLIOTECA HUMANIDADES (1). Items available for reference: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Call number: Depósito-519.6/.8/EST] (2).
Location(s): Depósito-519.6/.8/EST, Sótano-16/5-201.

5. From logic to logic programming : Kees Doets

Doets, Kees.

Material type: book Book; Format: print Publisher: Cambridge [etc.] : MIT Press, 1994Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3). Location(s): 681.3.06/DOE/fro.

6. Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1993 (imp.1996)Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (2). Location(s): Sótano-27/5-225.

7. Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1993 (imp.1996)Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-27/5-224.

8. Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1994Availability: Items available for loan: 06. BIBLIOTECA HUMANIDADES (1). Location(s): Sótano-27/5-222.

9. Handbook of logic in artificial intelligence and logic programming / edited by Dov M. Gabbay and C.J. Hogger and J.A. Robinson

Babbay, Dov M | Hogger, Christopher John | Robinson, J.A.

Material type: book Book; Format: print Publisher: Oxford : Clarendon, 1998Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1), 06. BIBLIOTECA HUMANIDADES (1). Location(s): 681.3/HAN, Sótano-27/5-223.

10. Logic for computer scientists / Uwe Schöning

Schöning, Uwe.

Material type: book Book; Format: print Publisher: Berlín : Birkhäuser, 1989Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (2). Damaged (1). Location(s): 510.6/SCH/log.

11. Introduction to logic programming / Christopher John Hogger

Hogger, Christopher John.

Material type: book Book; Format: print Publisher: London : Academic Press, 1984Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (1), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 519.68/HOG/int, 519.8/HOG/int.

12. Programación lógica / H. Bull; traducción Luis Merino ramos

Bull, H | Warnier, Jean-Dominique.

Edition: 2a ed.Material type: book Book; Format: print Publisher: Barcelona : Técnicos Asociados, 1974Availability: Items available for loan: 01. BIBLIOTECA CAMPUS JEREZ (2). Location(s): I-360.

13. Introducción a la programación lógica / Joaquín Pizarro Junquera, José Antonio Jiménez Millán, Mª del Carmen de Castro Cabrera

Pizarro Junquera, Joaquín | Jiménez Millán, José Antonio | Castro Cabrera, María del Carmen de.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Cádiz : Departamento de Lenguajes y Sistemas Informáticos de la Universidad de Cádiz, D.L. 1997Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (5). Location(s): 519.6/.8/PIZ/int.

14. Controladores lógicos / Manuel Álvarez Pulido

Álvarez Pulido, Manuel.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Barcelona : Marcombo, 2004Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.5/ALV/con.

15. Logic for computer scientist / Uwe Schöning

Schoning, Uwe.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Boston : Birkhauser, 1989 (2001 print.)Availability: No items available Checked out (1).

16. Dispositivos lógicos programables : (PLDs) : diseño práctico de aplicaciones / José Manuel García Iglesias, Emilio Jesús Pérez Iglesias

García Iglesias, José Manuel | Pérez Iglesias, Emilio Jesús [coautor].

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Madrid : Ra-Ma, 2005Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (4). Location(s): 681.325/GAR/dis.

17. Digital systems : principles and applications / Ronald J. Tocci, Neal S. Widmer, Gregory L. Moss

Tocci, Ronald J | Moss, Gregory L [] | Widmer, Neal S [].

Edition: 10th ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Upper Saddle River : Prentice Hall, 2007Availability: Items available for loan: 02. BIBLIOTECA CAMPUS PUERTO REAL (4), 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 621.38/TOC/dig, 621.38/TOC/dig.

18. Diseño de programas : formalismo y abstracción / Ricardo Peña Marí.

Peña Marí, Ricardo.

Edition: 3ª ed.Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Madrid : Pearson Educación, cop. 2005Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 681.3.06/PEÑ/dis.

19. Programación lógica : teoría y práctica / Pascual Julián Iranzo, María Alpuente Frasnedo

Julián Iranzo, Pascual | Alpuente Frasnedo, María.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: Madrid : Pearson Educación, 2007Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 681.3.06PRO/JUL/pro.

20. Warren's abstract machine : a tutorial reconstruction / Hassan Ait-Kaci

Ait-Kaci, Hassan.

Material type: book Book; Format: print ; Literary form: Not fiction Publisher: London : The MIT Press, 1991Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 681.3.06PRO/AIT/war.

Powered by Koha