Suchergebnisse für "Demri, Stéphane"
Redaktionelle Inhalte
Keine redaktionellen Inhalte für "Demri, Stéphane" gefunden.
Katalogsuche
Incomplete Information: Structure, Inference, Complexity
Monographs in Theoretical Computer Science. An EATCS Series
Demri, Stephane P/Orlowska, Ewa
Springer Verlag GmbH
160,49 €
(inklusive MwSt.)
Lieferbar
Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22,2014, Proceedings, Lecture Notes in Computer Science 8562 - Lecture Notes in Artificial Intelligence
Stéphane Demri/Deepak Kapur/Christoph Weidenbach
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem, Computer Science Foundations and Applied Logic
Demri, Stéphane
Springer Verlag GmbH
53,49 €
(inklusive MwSt.)
Lieferbar
Incomplete Information: Structure, Inference, Complexity
Monographs in Theoretical Computer Science. An EATCS Series
Demri, Stephane P/Orlowska, Ewa
Springer Verlag GmbH
160,49 €
(inklusive MwSt.)
Lieferbar
