Your search returned 2 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.

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha