Gebundenes Buch Taschenbuch

Auf Lager bei iMusic

Nicht verfügbare Artikel anzeigen

Releases von Stephane Demri

Cover for Stephane Demri · Concise Introduction to Alternating-Time Temporal Logics: A Guide for Understanding the Model-Checking Problem - Computer Science Foundations and Applied Logic (Gebundenes Buch) (2026)

Gebundenes Buch

Concise Introduction to Alternat... (2026)

Cover for Stephane Demri · 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 (Taschenbuch) [2014 edition] (2014)

Automated Reasoning: 7th Interna... (2014)