Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Logical Foundations of Computer Science - Tver '92 Second International Symposium Proc., Tver, 1992

by Nerode,A. Ed | Taitslin, M. Ed.

Series: Lecture notes in computer science ; 00620Material 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
Logical Foundations of Computer Science Proceedings, 3rd Int.Symp., Russia, 1994

by Nerode, A. Ed | Matiyasevich, Yu V. Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha