Your search returned 10 results.

Not what you expected? Check for suggestions
BOOKS
Computer science logic, 4th workshop, CSL'90, Heidelberg, Germany, October 1990, Proceedings

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00533Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 13 Call number: 681 LNCS.

BOOKS
Computer Science Logic 5th Workshop Proc., CSL '91, Berne, 1991

by Borger,E. et al Eds.

Series: Lecture notes in computer science ; 00626Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 1992Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 14 Call number: 681 LNCS.

BOOKS
Computer Science Logic : 6th workshop, CSL '92, San Miniato, Italy, September/October 1992, Selected paers

by Borger, E | Jager, G., Martini., Richter,M | Kleine Buning, H.

Series: Lecture notes in computer science ; 00702Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1993Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 15 Call number: 681 LNCS.

BOOKS
CSL '89 Proceedings, 3rd Workshop, FRG, 1989

by Borger, E. Ed | Kleine Buning, H. Ed | Richter, M M. Ed.

Series: Lecture notes in computer science ; 00440Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1990Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 11 Call number: 681 LNCS.

BOOKS
CSL '88 Proceedings, 2nd Workshop, Duisburg, FRG, 1988

by Borger, E. Ed | Kleine Buning, H. Ed | Richter, M M Ed.

Series: Lecture notes in computer science ; 00385Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer Verlag ; 1989Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 9 Call number: 681 LNCS.

BOOKS
Computer Science Logic Workshop, 9th International Conference, Germany, 1995

by Buning, Hans Kleine. Ed.

Series: Lecture notes in computer science ; 01092Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 1996Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 17 Call number: 681 LNCS.

BOOKS
Handbook of Logic and Language

by van Benthem, Johan. Ed | ter Meulen, Alice. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Amsterdam ; Elsevier ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 18, Shelf No: 3 Call number: 510.6(02) BEN.

BOOKS
Computer Science Logic, Proceedings of the 14th International Workshop, Germany, 2000

by Clote, Peter G. Ed | Schwichtenberg, Helmut. Ed.

Series: Lecture notes in computer science ; 01862Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2000Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 24 Call number: 681 LNCS.

BOOKS
Computer Science Logic, Proceedings of the 15th International Workshop, Paris, CSL 2001

by Fribourg, Laurent. Ed.

Series: Lecture notes in computer science ; 02142Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 26 Call number: 681 LNCS.

BOOKS
Constraints in computational logics theory and applications

by Comon, Hubert | Marche, Claude | Treinen, Ralf.

Series: Lecture notes in computer science ; 02002Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin, New York ; Springer ; 2001Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 21 Call number: 681 LNCS.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha