作者 Erich Grädel 的书籍 - BookPine

Finite Model Theory and Its Applications

Finite Model Theory and Its Applications

Erich Grädel

Lectures in Game Theory for Computer Scientists

Lectures in Game Theory for Computer Scientists

Krzysztof R. Apt

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings

Erich Grädel

Logic and Automata: History and Perspectives (Texts in Logic and Games)

Logic and Automata: History and Perspectives (Texts in Logic and Games)

Jörg Flum

Automata, Logics, and Infinite Games: A Guide to Current Research

Automata, Logics, and Infinite Games: A Guide to Current Research

Erich Grädel

Die künstliche Beatmung auf Intensivstationen (Kliniktaschenbücher)

Die künstliche Beatmung auf Intensivstationen (Kliniktaschenbücher)

Erich Grädel

[(Finite-model Theory and Its Applications )] [Author: Erich Grädel] [Jun-2007]

[(Finite-model Theory and Its Applications )] [Author: Erich Grädel] [Jun-2007]

Erich Grädel

[(Computer Science Logic )] [Author: Erich Grädel] [Sep-2009]

[(Computer Science Logic )] [Author: Erich Grädel] [Sep-2009]

Erich Grädel