PKK Library

Your cart is empty.

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

Your search returned 8 results. Subscribe to this search

Unhighlight Highlight
|
1.
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
2.
A THEORY OF PREDICATES

by Ackerman,Farrell.

Material type: book Book; Format: print ; Literary form: not fiction Description: xiv,402.Publisher: Csli, Menlo Park 1998Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 415 AC57T] (1).

Place hold Add to cart
3.
DIGITAL TYPOGRAPHY

by Knuth,Donald E.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvi,685.Publisher: Csli Publications, Stanford 1999Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 686.22544536 K786D] (1).

Place hold Add to cart
4.
VICIOUS CIRCLES

by Barwise,Jon,Moss,Lawrence.

Material type: book Book; Format: print ; Literary form: not fiction Description: x,390.Publisher: Center For The Study Of Language & Inf.,Stanford 1996Availability: No items available Withdrawn (1).

Add to cart
5.
HYPERPROOF FOR THE MACINTOSH

by Barwise,Jon | Etchemendy,John.

Material type: book Book; Format: print ; Literary form: not fiction Description: xvii,255.Publisher: Center For The Study Of Language And Information 1994Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160.2855369 B289H] (1).

Place hold Add to cart
6.
After Euclid : visual reasoning and the epistemology of diagrams

by Norman, Jesse.

Material type: book Book; Format: print ; Literary form: not fiction Description: xi, 176p.Publisher: California Csli Publications 2006Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 N784a] (1).

Place hold Add to cart
7.
Logics of time and computation

by Goldblatt, Robert.

Edition: 2nd rev. and expandedMaterial type: book Book; Format: print ; Literary form: not fiction Description: ix, 180p.Publisher: Menlo Park Csli 1992Availability: Items available for loan: PK Kelkar Library, IIT Kanpur [Call number: 160 G564l2] (1).

Place hold Add to cart
8.
A primer of probability logic

by Adams, Ernest W.

Description: xiv, 378p.Publisher: California CSLI Publications 1999Availability: No items available Checked out (1).

Place hold Add to cart

Powered by Koha