PKK Library

Your cart is empty.

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

Your search returned 32 results. Subscribe to this search

Unhighlight Highlight
|
21.
PROLOG AND NATURAL-LANGUAGE ANALYSIS

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

Material type: book 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).

Place hold Add to cart
22.
WARREN'S ABSTRACT MACHINE : Hassan Ait-Kaci

by Ait-Kaci, Hassan.

Material type: book Book Description: xvi,114p.Publisher: Cambridge MIT Press 1991Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 006.3 AI93w] (1).

Place hold Add to cart
23.
INTRODUCTION TO PROGRAMMING IN PROLOG

by Crookes, Danny.

Material type: book 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).

Place hold Add to cart
24.
STRUCTURED SYSTEMS ANALYSIS THROUGH PROLOG

by Goble, Terry.

Material type: book Book Description: xv,205.Publisher: New York Prentice Hall c1989Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 003 G538s] (1).

Place hold Add to cart
25.
Computing with logic : logic programming with Prolog

by Maier, David | Warren, David S.

Material type: book 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).

Place hold Add to cart
26.
PROLOG : THE STANDARD;REFERENCE MANUAL

by Deransart,P., Ed-Dbali,A | Cervoni,L.

Material type: book Book Description: xiv,272.Publisher: Springer-Verlag,Berlin c1996Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.26 D443P] (1).

Place hold Add to cart
27.
PROGRAMMING IN PROLOG

by Clocksin,W. F | Mellish,C. S.

Edition: 4thMaterial type: book Book Description: xiv,281.Publisher: Springer-Verlag, Berlin c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C62P4] (1).

Place hold Add to cart
28.
PROGRAMMING IN PROLOG

by Clocksin,W. F | Mellish,C. S.

Edition: 4thMaterial type: book Book Description: xiv,281.Publisher: Springer-Verlag, Berlin c1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 005.1 C62P4] (1).

Place hold Add to cart
29.
CLAUSE AND EFFECT

by Clocksin,William F.

Material type: book 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).

Place hold Add to cart
30.
ARTIFICIAL INTELLIGENCE TECHNIQUES IN PROLOG

by Shoham,Yoav.

Material type: book 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).

Place hold Add to cart
31.
AN INTRODUCTION TO LANGUAGE PROCESSING WITH PERL AND PROLOG

by Nugues,Pierre M.

Material type: book 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).

Place hold Add to cart
32.
Programming with higher-order logic

by Miller, Dale | Nadathur, Gopalan.

Material type: book 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).

Place hold Add to cart

Powered by Koha