|
|

avaa valikko

Stephane Demri | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 6 tuotetta
Haluatko tarkentaa hakukriteerejä?



Demri, Stéphane
Birkhäuser
2026
Kovakantinen kirja
Concise Introduction to Alternating-Time Temporal Logics : A Guide for Understanding the Model-Checking Problem
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Demri, Stephane P.; Orlowska, Ewa
Springer
2002
Kovakantinen kirja
Incomplete Information: Structure, Inference, Complexity
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Demri, Stephane P.; Orlowska, Ewa
Springer
2010
Pehmeäkantinen kirja
Incomplete Information: Structure, Inference, Complexity
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
137,30 €
Demri, Stéphane; Kapur, Deepak; Weidenbach, Christoph
Springer International Publishing AG
2014
Pehmeäkantinen kirja
Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austri
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
51,10 €
Demri, Stéphane; Goranko, Valentin; Lange, Martin
Cambridge University Press
2016
Kovakantinen kirja
Temporal Logics in Computer Science - Finite-State Systems
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
124,70 €
Beklemishev, Lev; Demri, Stephane; Mate, Andras
College Publications
2016
Pehmeäkantinen kirja
Advances in Modal Logic Volume 11
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
34,50 €