|
|
|
Classical Decision Problem by Borger, Egon | Gradel, Erich | Gurevich, Yuri. Series: Perspectives in Mathematical LogicMaterial type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Berlin ; Springer Verlag ; 1997Availability: Items available for loan: IMSc Library (1). Location(s): First Floor, Rack No: 27, Shelf No: 45 Call number: 510.5 BOR.
|
|
|
|
|
|
|
|
|
|
|
|
Lectures in Game Theory for Computer Scientists by Apt, Krzysztof R, Ed | Gradel, Erich. Material type: Text;Language: ; Format:
print
; Literary form:
Not fiction
Publication details: Cambridge University Press ; New York ; 2011Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 38 Call number: 681.3 APT.
|
|
|
|
|
|
|
|
Computer Science Logic [electronic resource] : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings / edited by Erich Grädel, Reinhard Kahle. by Grädel, Erich [editor.] | Kahle, Reinhard [editor.] | SpringerLink (Online service). Series: Lecture Notes in Computer Science ; 5771Source: Springer eBooksMaterial type: Text;Language: English; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .
|
|
|
|
Logic and Automata History and Perspectives by Flum, Jorg | Gradel, Erich Ed | Wilke, Thomas, Ed. Series: Texts in Logic and Games ; 2Material type: Text;Language: English; Format:
print
; Literary form:
Not fiction
Language: English Publication details: Amsterdam Amsterdam University Press 2008Availability: Items available for loan: IMSc Library (1). Location(s): Second floor, Rack No: 48, Shelf No: 47 Call number: 6813 FLU.
|