Stephane Demri – författare

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

3 produkter

1. 

   Advances in Modal Logic Volume 11

   Av Lev Beklemishev, Stephane Demri m. fl.

   Häftad, 2016

   399 kr

   Lägg i varukorg

2. 

   Concise Introduction to Alternating-Time Temporal Logics

   A Guide for Understanding the Model-Checking Problem

   Av Stéphane Demri

   Inbunden, 2026

   739 kr

   Lägg i varukorg

3. 

   Automated Reasoning

   7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, Proceedings

   Av Stéphane Demri, Deepak Kapur m. fl.

   Häftad, 2014

   739 kr

   Lägg i varukorg