Hoppa till sidans huvudinnehåll

Stephane Demri – författare

Visar alla böcker från författaren Stephane Demri.
3 produkter
Lev Beklemishev, Stephane Demri, Andras Mate - Advances in Modal Logic Volume 11, Häftad

Advances in Modal Logic Volume 11

AvLev Beklemishev,Stephane Demrim. fl.

Häftad, Engelska, 2016

389 kr

Skickas inom 5-8 vardagar

Stéphane Demri - Concise Introduction to Alternating-Time Temporal Logics, Inbunden

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

Stéphane Demri, Deepak Kapur, Christoph Weidenbach - Automated Reasoning, Häftad
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