Refine your search

Your search returned 14 results.

|
1.
The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

by Sterling, Leon | Shapiro, Ehud.

Edition: 6th. print.Material type: Text Text; Format: print Publisher: Cambridge : The Mit Press, 1988Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4). Location(s): 681.3.06PRO/STE/art.

2.
Programming in Prolog / W.F. Clocksin, C.S. Mellish

by Clocksin, William F | Mellish, Christopher S.

Edition: 5th ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Berlin : Springer, 2003Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (4). Location(s): 681.3.06PRO/CLO/pro.

3.
The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

by Sterling, Leon | Shapiro, Ehud.

Edition: 2nd ed.Material type: Text Text; Format: print Publisher: Cambridge[etc.] : The MIT Press, cop. 1994Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (3). Location(s): 681.3.06PRO/STE/art.

4.
The craft of prolog / Richard A. O'Keefe

by O'Keefe, Richard A.

Material type: Text Text; Format: print Publisher: Cambridge, Massachusetts [etc.] : MIT, cop. 1990 (1994 reimp.)Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Items available for reference: 02. BIBLIOTECA CAMPUS PUERTO REAL [Call number: 681.3.06/OKE/cra] (1).
Location(s): 681.3.06PRO/OKE/cra.

5.
The art of prolog : advanced programming techniques / Leon Sterling, Ehud Shapiro, with a foreword by David H.D. Warren

by Sterling, Leon | Shapiro, Ehud.

Material type: Text Text; Format: print Publisher: Cambridge : The Mit Press, 1986Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): Depósito- 681.3.06/STE/art.

6.
Prolog : l'implantation / Patrice Boizumault, préface de M. Bergman

by Boizumault, Patrice.

Material type: Text Text; Format: print Publisher: Paris[etc.] : Masson, 1988Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): Depósito-681.3.06PRO/BOI/pro.

7.
Natural language processing in Prolog : an introduction to computational linguistics / Gerald Gazdar, Chris Mellish

by Gazdar, Gerald | Mellish, Chris.

Material type: Text Text; Format: print Publisher: Wokingham [etc.] : Addison-Wesley, 1989Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.3.06PRO/GAZ/nat.

8.
Prolog : programming for artificial intelligence / Ivan Bratko

by Bratko, Ivan.

Edition: 2nd ed.Material type: Text Text; Format: print Publisher: Wokingham, England [etc.] : Addison-Wesley, cop. 1990Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1), 02. BIBLIOTECA CAMPUS PUERTO REAL (1). Items available for reference: 03. BIBLIOTECA INGENIERÍA PUERTO REAL [Call number: Informática - 607/I] (1).
Location(s): 681.3.06PRO/BRA/pro, 681.31/BRA/pro.

9.
Natural language processing for Prolog programmers / Michael A. Covington

by Covington, Michael A.

Material type: Text Text; Format: print Publisher: Englewood Cliffs, New Jersey : Prentice Hall, cop. 1994Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 681.3.06PRO/COV/nat.

10.
Prolog and natural-language analysis

by Pereira, Fernando C. N | Pereira, Fernando C.N., Fernando C.N. Pereira and Stuart M. Shieber | Shieber, Stuart M.

Material type: Text Text; Format: print Publisher: Menlo Park : CSLI, cop. 1987Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): 681.3.06PRO/PER/pro.

11.
Computing with logic : logic programming with prolog / David Maier, David S. Warren

by Maier, David | Warren, David S.

Material type: Text Text; Format: print Publisher: Menlo Park, California[etc.] : The Benjamin/Cummings, 1988Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): Depósito-681.3.06PRO/MAI/com.

12.
Prolog : programming for artificial intelligence / Ivan Bratko

by Bratko, Ivan.

Edition: 3rd ed.Material type: Text Text; Format: print Publisher: Wokingham, England [etc.] : Addison-Wesley, 2001Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (2). Location(s): 681.3.06PRO/BRA/pro.

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

by Ait-Kaci, Hassan.

Material type: Text Text; 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.

14.
Knowledge systems through prolog : an introduction / Steven H. Kim

by Kim, Steven H.

Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: New York [etc.] : Oxford University, 1991Availability: Items available for loan: 03. BIBLIOTECA INGENIERÍA PUERTO REAL (1). Location(s): Depósito-681.3.06PRO/KIM/kno.

Powered by Koha