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

Results
	1.	No cover image available Logic and machines : decision problems and complexity : proceedings by Borger E Symposium on Rekursive Kombinatorik( 1983 : Westfalen ) Symposium on Rekursive Kombinatorik Westfalen, 1983 Series: Lecture notes in computer science, 171 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1984 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 Sy989. Place hold Add to cart (remove)
	2.	Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 1st : 1987 : Karlsruhe,FRG ) Workshop on Computer Science Logic 1st Karlsruhe, FRG 1987 Series: Lecture notes in computer science, v 329 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1987 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 W926. Place hold Add to cart (remove)
	3.	Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 2nd : 1988 : Duisburg ) Workshop on Computer Science Logic 2nd Duisburg, 1988 Series: Lecture notes in computer science, v 385 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1989 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 W926. Place hold Add to cart (remove)
	4.	Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 3rd : 1989 : FRG ) Workshop on Computer Science Logic 3rd , FRG 1989 Series: Lecture notes in computer science, v 440 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1990 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 W926(3). Place hold Add to cart (remove)
	5.	Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 4th : 1990 : Heidelberg ) Workshop on Computer Science Logic 4th Heidelberg, 1990 Series: Lecture notes in computer science, 533 Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer Verlag 1991 Availability: Items available for loan: ISI Library, Kolkata (1)Call number: 5.131 W926(4). Place hold Add to cart (remove)
	6.	No cover image available Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 5th : 1991 : Switzerland ) Workshop on Computer Science Logic 5th , Switzerland 1991 Series: Lecture notes in computer science, 626 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.131 W926. Place hold Add to cart (remove)
	7.	No cover image available Computer science logic : selected papers by Borger E Computer Science Logic Workshop( 6th : 1992 : Italy ) Computer Science Logic Workshop 6th , Italy 1992 Series: Lecture notes in computer science, 702 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.131 C738(6). Place hold Add to cart (remove)
	8.	Computer science logic : proceedings by Borger E Workshop on Computer Science Logic( 7th : 1993 : Swensea,U K ) Workshop on Computer Science Logic 7th Swensea, U K 1993 Series: Lecture notes in computer science, 832 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.131 W926(7). 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