|
|
21.
|
ARTIFICILAL INTELLIGENCE THROGH PROLOG
by Rowe, Neil C. Material type:  Book; Format:
print
; Literary form:
not fiction
Description: xx,451.Publisher: Englewood Cliffs Prentice-Hall 1988Availability: Items available for reference: PK Kelkar Library, IIT Kanpur [Call number: 001.535 R792a] (1).
|
|
|
22.
|
Prolog: a relational language and its applicatins
by Malpas, John. Material type: Book; Format:
print
; Literary form:
not fiction
Description: x,465p.Publisher: New Jersey Prentice-Hall 1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.64 M298p] (1).
|
|
|
23.
|
PROLOG AND NATURAL-LANGUAGE ANALYSIS
by Pereira, Fernando C. N | Shieber, Stuart M. Material type: Book Description: viii,260.Publisher: Stanford Center For The Study Of Language And Information c1987Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 410.285 P414p] (1).
|
|
|
24.
|
WARREN'S ABSTRACT MACHINE
: Hassan Ait-Kaci
by Ait-Kaci, Hassan. Material type: Book Description: xvi,114p.Publisher: Cambridge MIT Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AI93w] (1).
|
|
|
25.
|
INTRODUCTION TO PROGRAMMING IN PROLOG
by Crookes, Danny. Material type: Book Description: xii,226.Publisher: New York Prentice Hall c1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 C882i] (1).
|
|
|
26.
|
STRUCTURED SYSTEMS ANALYSIS THROUGH PROLOG
by Goble, Terry. Material type: Book Description: xv,205.Publisher: New York Prentice Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 G538s] (1).
|
|
|
27.
|
Computing with logic
: logic programming with Prolog
by Maier, David | Warren, David S. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 535p.Publisher: California Benjamin/Cummings Publishing 1988Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 M281c] (1).
|
|
|
28.
|
PROLOG
: THE STANDARD;REFERENCE MANUAL
by Deransart,P., Ed-Dbali,A | Cervoni,L. Material type: Book Description: xiv,272.Publisher: Springer-Verlag,Berlin c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.26 D443P] (1).
|
|
|
29.
|
PROGRAMMING IN PROLOG
by Clocksin,W. F | Mellish,C. S. Edition: 4thMaterial type: Book Description: xiv,281.Publisher: Springer-Verlag, Berlin c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C62P4] (1).
|
|
|
30.
|
PROGRAMMING IN PROLOG
by Clocksin,W. F | Mellish,C. S. Edition: 4thMaterial type: Book Description: xiv,281.Publisher: Springer-Verlag, Berlin c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C62P4] (1).
|
|
|
31.
|
CLAUSE AND EFFECT
by Clocksin,William F. Material type: Book; Format:
print
; Literary form:
not fiction
Description: ix,143.Publisher: Springer-Verlag,Berlin 1997Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.13 C62C] (1).
|
|
|
32.
|
Professional programmers guide to PROLOG
by Hamilton, Alan G. Material type: Book; Format:
print
; Literary form:
not fiction
Description: viii, 166p.Publisher: London Pitman Publishing 1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.642 H18p] (1).
|
|
|
33.
|
Prolog
: programming for artificial intelligence [3rd ed.]
by Bratko, Ivan. Edition: 3rdMaterial type: Book; Format:
print
; Literary form:
not fiction
Description: xxi, 678p.Publisher: Harlow, England Addison-Wesley 2001Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 001.6424 B737p3] (1).
|
|
|
34.
|
ARTIFICIAL INTELLIGENCE TECHNIQUES IN PROLOG
by Shoham,Yoav. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xix,327.Publisher: Morgan Kaufmann Pub., San Francisco 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 SH73A] (1).
|
|
|
35.
|
AN INTRODUCTION TO LANGUAGE PROCESSING WITH PERL AND PROLOG
by Nugues,Pierre M. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xx,513.Publisher: Springer-Verlag, Berlin 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.35 N899I] (1).
|
|
|
36.
|
Programming with higher-order logic
by Miller, Dale | Nadathur, Gopalan. Material type: Book; Format:
print
; Literary form:
not fiction
Description: xiii, 306p.Publisher: Cambridge Cambridge University Press 2012Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.15 M613p] (1).
|
|
|
37.
|
Statistical relational artificial intelligence :
: logic, probability, and computation /
by Raedt, Luc de 1964-, [author.] | Kersting, Kristian [author.] | Natarajan, Sriraam [author.] | Poole, David L. (David Lynton) 1958-, [author.]. Material type: Book; Format:
available online
 ; Literary form:
not fiction
; Audience:
Specialized;
Description: 1 PDF (xiv, 175 pages) : illustrations.Publisher: San Rafael, California (1537 Fourth Street, San Rafael, CA 94901 USA) : Morgan & Claypool, 2016.Online access: Abstract with links to resource Availability: Items available for loan: PK Kelkar Library, IIT Kanpur (1).
|
