Hardcover Book Paperback Book

Varastossa iMusicilla

Näytä loppuunmyydyt julkaisut

Julkaisut sisältäen 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 (Hardcover Book) (2026)

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 (Paperback Book) [2014 edition] (2014)

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