Kategorie główne

[2690469]

[1636033]

Kategorie szczegółowe BISAC

Gradel, Erich

Erich Gradel is Professor for Mathematical Foundations of Computer Science at RWTH Aachen University in Germany.

[ ZOBACZ WSZYSTKIE KSIĄŻKI AUTORA ]

Automata, Logics, and Infinite Games: A Guide to Current Research	Finite Model Theory and Its Applications	Logic and Automata: History and Perspectives
The Classical Decision Problem	Computer Science Logic: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings	Finite Model Theory and Its Applications