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 5 results.

Results
	1.	No cover image available Analogy for automated reasoning by Owen Stephen Series: Perspectives in artificial intelligence, 9 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Boston Academic Press 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 006.333 Ow97. Place hold Add to cart (remove)
	2.	Functional programming,concurrency,simulation and automated reasoning by Lauer P E [ed.] Series: Lecture notes in computer science, 693 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 005.114 L372. Place hold Add to cart (remove)
	3.	Logic programming and automated reasoning : proceedings by Voronkov A International Conference LPAR'92( 1992 : Russia ) International Conference LPAR'92 , Russia 1992 Series: Lecture notes in artificial intelligence, 624 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1992 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.115 In61(92). Place hold Add to cart (remove)
	4.	Algebraic and logic programming : proceedings by Voronkov Andrei International Conference on Logic Programming and Automated Reasoning( 4th : 1993 : St Petersburg ) International Conference on Logic Programming and Automated Reasoning 4th St Petersburg, 1993 Series: Lecture notes in computer science, 698 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1993 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.115 In61(4). Place hold Add to cart (remove)
	5.	Logic programming and automated reasoning : proceedings by Pfenning Frank International Conference on Logic Programming and Automated Reasoning( 5th : 1994 : Ukraine ) International Conference on Logic Programming and Automated Reasoning 5th , Ukraine 1994 Series: Lecture notes in artificial intelligence, 822 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1994 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.115 In61Lo(5). 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