Catalogo · 9783540363873
Automata, Logics, and Infinite Games
ISBN 9783540363873
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Lectures in game theory for computer scientists
Krzysztof R. Apt, Erich Grädel
Logic and automata
Jörg Flum, Erich Grädel
Finite Model Theory and Its Applications
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Classical Decision Problem
Egon Börger, Erich Grädel, Yuri Gurevich
Finite Model Theory and Its Applications (Texts in Theoretical Computer Science. An EATCS Series)
Erich Grädel, Phokion G. Kolaitis, Leonid Libkin, Maarten Marx, Joel H. Spencer, Moshe Y. Vardi, Yde Venema, Scott Weinstein
Computer Science Logic
Erich Grädel, Reinhard Kahle
Verba volant · scripta manent