Your search returned 2 results.

Not what you expected? Check for suggestions
BOOKS
Logic in Computer Science, Tenth Annual IEEE Symposium on- Proceedings, San Diego, 1995

by Kozen, Dexter. Ed.

Material type: Text Text;Language: ; Format: print ; Literary form: Not fiction Publication details: USA ; IEEE Computer Society ; 1995Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 49, Shelf No: 7 Call number: 681.3 KOZ.

BOOKS
Mathematics of Program Construction: 7th international conference, MPC 2004 Stirling, Scotland, UK, July 2004: proceedings

by Kozen, Dexter Ed.

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

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha