Stephane Demri – författare

Visar alla böcker från författaren Stephane Demri.

3 produkter

Kategorier

3 produkter

Advances in Modal Logic Volume 11
AvLev Beklemishev,Stephane Demrim. fl.
Häftad, Engelska, 2016
389 kr
Skickas inom 5-8 vardagar
Concise Introduction to Alternating-Time Temporal Logics
A Guide for Understanding the Model-Checking Problem
AvStéphane Demri
Inbunden, Engelska, 2026
729 kr
Skickas inom 10-15 vardagar
Del 8562
Del 8562 - Lecture Notes in Computer Science
Automated Reasoning
7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings
AvStéphane Demri,Deepak Kapurm. fl.
Häftad, Engelska, 2014
729 kr
Skickas inom 10-15 vardagar