E. G. ?? · Eric Gertler · Erich Grädel · Erich Grotewold
Amsterdam University Press · Springer
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings | 978-3-642-04026-9 (3-642-04026-8) | 2010 | Reinhard Kahle |
Logic and Automata: History and Perspectives | 978-90-5356-576-6 (90-5356-576-0) | 2008 | Jorg Flum · Thomas Wilke |
The Classical Decision Problem | 978-3-540-42324-9 (3-540-42324-9) | 2008 | Egon Borger · Yuri Gurevich |