Search

Your search returned 5 results.

Results
		Automata logics and infinite games : a guide to current research by \| Gradel, Erich \| Gradel, Erich. Series: Lecture notes in computer sience ; v. 2497Edition: Language: English Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: 1 Call number: 681.3:517.1Aut. Place hold Add to cart (remove)
		Automata, logics, and infinite games : a guide to current research by \| Gradel, Erich \| Gradel, Erich. Series: Lecture notes in computer science ; v.2500Edition: Language: English Publication details: Berlin ; Springer ; 2002Availability: Items available for loan: 2 Call number: 681.3:517.1Aut(3), ... Place hold Add to cart (remove)
		Computer science logic : 23rd international workshop proceedings, CSL, 18th annual conference of the EACSL, Coimbra, Portugal, Sep. 7-11, 2009 by \| Gradel, Erich \| Gradel, Erich. Series: Lecture notes in computer science ; v. 5771Edition: Language: English Publication details: Berlin ; Springer ; 2009Availability: Items available for loan: 1 Call number: 681.3:517.1Com:09. Place hold Add to cart (remove)
		Automata logics, and infinite games (e-book) by Gradel, Erich. Series: Lecture Notes in Computer Science (LNCS) ; v.2500Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2002Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)
		Computer science logic (e-book) by Gradel, Erich. Series: Lecture Notes in Computer Science (LNCS) ; v.5771Material type: Text; Format: print ; Literary form: Not fiction Language: English Publication details: Berlin Springer 2009Online access: Click here to access online Availability: Items available for reference: Online (1) . Add to cart (remove)

Powered by Koha