IMSc Library catalog › Results of search for 'au:"Voronkov, Andrei, Ed."'

Your search returned 2 results.

Not what you expected? Check for suggestions

			Automated Reasoning, Handbook of- : Vols. I & II by Robinson, Alan. Ed \| Voronkov, Andrei. Ed. Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Netherlands ; North-Holland ; 2001Availability: Items available for loan: IMSc Library (2). Location(s): First Floor, Rack No: 18, Shelf No: 4 Call number: 510.6(02) ROB. Place hold Log in to add tags
			Computer science - theory and applications by Diekert, Volker, Ed \| Volkov, Mikhail V, Ed \| Voronkov, Andrei, Ed. Series: Lecture notes in computer science ; 04649Material type: Text;Language: ; Format: print ; Literary form: Not fiction Publication details: Berlin ; Springer-Verlag ; 2007Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 31 Call number: 681 LNCS. Place hold Log in to add tags