OceanOfPDF

OceanOfPDF since 2018

Demri Books

Books (8+)
Articles

Want to get more search results?
Login

1

2008 Annual Reliability and Maintainability Symposium

2008 Annual Reliability and Maintainability Symposium

IEEE

Demri

Year:

2022

Language:

English

File:

EPUB

5.0 / 5.0

2

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Pr

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Pr

Springer

Clark Barrett

Year:

2022

Language:

English

File:

PDF

5.0 / 5.0

3

Temporal Logics in Computer Science: Finite-State Systems Edition: 1

Temporal Logics in Computer Science: Finite-State Systems Edition: 1

Cambridge University Press City: Cambridge

Stéphane Demri

Year:

2022

Language:

English

File:

PDF

5.0 / 5.0

4

Temporal Logics in Computer Science: Finite-State Systems

Temporal Logics in Computer Science: Finite-State Systems

Cambridge University Press

Stéphane Demri

Year:

2016

Language:

English

File:

PDF

5.0 / 5.0

5

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

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

Springer International Publishing

Stéphane Demri

Year:

2014

Language:

English

File:

PDF

4.0 / 5.0

6

Incomplete Information: Structure, Inference, Complexity

Incomplete Information: Structure, Inference, Complexity

Springer

Stéphane P. Demri

Year:

2002

Language:

English

File:

PDF

4.0 / 5.0

7

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Automated Reasoning with Analytic Tableaux and Related Methods: 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings

Springer-Verlag Berlin Heidelberg

Clark Barrett

Year:

2013

Language:

English

File:

PDF

4.0 / 5.0

8

Temporal Logics in Computer Science. Finite-State Systems

Temporal Logics in Computer Science. Finite-State Systems

Cambridge University Press

Stéphane Demri

Year:

2016

Language:

English

File:

PDF

4.0 / 5.0

Want to get more search results?
Login