E. G. ?? · E. Grädel · Erich Gradel · Erich Grädel Edited by Krzysztof R. Apt
Titel | Art | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
---|---|---|---|---|---|
Automata, Logics, and Infinite Games: A Guide to Current Research | Taschenbuch | 978-3-540-00388-5 | 2002 | Wolfgang Thomas · Thomas Wilke | |
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 | 2009 | Reinhard Kahle | |
Finite Model Theory and Its Applications | " | 978-3-642-43860-8 | 2014 | ||
Finite Model Theory and Its Applications | Gebunden | 978-3-540-00428-8 | 2007 | Phokion G. Kolaitis · Leonid Libkin · Maarten Marx · Joel Spencer · Moshe Y. Vardi · Yde Venema · Scott Weinstein | |
Lectures in Game Theory for Computer Scientists | Hardcover | 978-0-521-19866-0 | 2011 | Krzysztof R. Apt | |
Logic and Automata: History and Perspectives | Paperback | 978-90-5356-576-6 | 2007 | Thomas Wilke · Jörg Flum | |
The Classical Decision Problem | Taschenbuch | 978-3-540-42324-9 | 2001 | Egon Börger · Yuri Gurevich | |
The Classical Decision Problem | Gebunden | 978-3-540-57073-8 | 1996 | Egon Börger · Yuri Gurevich |
Amsterdam University Press · Cambridge University Press · Springer