Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis

Your search returned 14 results.

Results
	1.	No cover image available Formal methods in artificial intelligence by Ramsay Allan Series: Cambridge tracts in Theoretical computer science, 6 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge C U P 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.3 R178. Place hold Add to cart (remove)
	2.	No cover image available Process algebra by Baeten J C M Weijland W P [Auth.] Series: Cambridge tracts in theoretical computer science; no.18 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge Univ. Press 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 004.0151 B142. Place hold Add to cart (remove)
	3.	Nonmonotonic reasoning : Logical foundations of commonsense / Gerhard Brewka by Brewka, Gerhard Series: Cambridge tracts in theoretical computer science ; 12 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge C U P 1991 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 006.333 B847, ... Place hold Add to cart (remove)
	4.	No cover image available Proof and types by Lafont Yves [] Taylor Paul [] Series: Cambridge tracts in theoretical computer science; 7 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 G518. Place hold Add to cart (remove)
	5.	No cover image available Updating logical databases by Winsslett Marianne Series: cambridge tracts in theoretical computer science, 9 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge C U P 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.74 W777. Place hold Add to cart (remove)
	6.	No cover image available Applications of process algebra by Baeten J C M [ed.] Series: Cambridge tracts in theoretical computer science; 17 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambride C U P 1990 Availability: Items available for loan: ISI Library, Kolkata (2)Call number: 004 B142, ... Place hold Add to cart (remove)
	7.	Metamathematics,machines,and Godel's proof by Shankar N Series: Cambridge tracts in theoretical computer science; 38 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge C U P 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 Sh528. Place hold Add to cart (remove)
	8.	Computational learning theory an introduction by Anthony Martin Biggs Norman [Auth.] Series: Cambridge tracts in theoretical computer science; 30 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.31 An628. Place hold Add to cart (remove)
	9.	Modal logic by Blackburn Patrick Rijke Maarten de [Auth.] Venema Yde [Auth.] Series: Cambridge tracts in theoretical computer science Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2001 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 B628. Place hold Add to cart (remove)
	10.	Basic proof theory by Troelstra A S Schwichtenberg H [Auth.] Series: Cambridge tracts in theoretical computer science; 43 Edition: 2nd Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Cambridge CUP 2000 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 511.3 T843. Place hold Add to cart (remove)
	11.	Mathematics for computer graphics / [electronic resource] S.G. Hoggar. by Hoggar, S. G Series: Cambridge tracts in theoretical computer science ; 14 Material type: Text; Format: print available online ; Literary form: Not fiction Publication details: Cambridge ; New York : Cambridge University Press, 1992 Online resources: Publisher description Table of contents Free eBook from the Internet Archive Additional information and access via Open Library Availability: No items available. Add to cart (remove)
	12.	Logic and computation : interactive proof with cambridge LCF / Lawrence C.Paulson. by Paulson, Lawrence C Series: Cambridge tracts in theoretical computer science ; 2 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.1 P332. Place hold Add to cart (remove)
	13.	Clausal theory of types / D. A. Wolfram. by Wolfram, D. A Series: Cambridge tracts in theoretical computer science ; 21 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge ; Cambridge University Press, c1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.115 W861. Place hold Add to cart (remove)
	14.	Deduction and declarative programming / Peter Padawitz. by Padawitz, Peter Series: Cambridge tracts in theoretical computer science ; 28 Material type: Text; Format: print ; Literary form: Not fiction Publication details: Cambridge : Cambridge University Press, c1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.131 P123. Place hold Add to cart (remove)

Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in

Refine your search

Availability

Authors

Item types

Locations

Series

Topics

Your search returned 14 results.