"Reiner Hähnle" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Verification of Object-Oriented Software. The KeY Approach: Foreword by K. Rustan M. Leino (Lecture Notes in Computer Science)

Bernhard Beckert, Reiner Hähnle, Peter H. Schmitt

5.36 Mb

#2

Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Computer Science Lecture Notes in Artificial Intelligence)

Jürgen Giesl, Reiner Hähnle

6.32 Mb

#3

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

3.24 Mb

#4

Automated deduction in multiple-valued logics

Reiner Hähnle

816 Kb

#5

Theorem Proving with Analytic Tableaux and Related Methods 4 conf., TABLEAUX '95

Peter Baumgartner, Reiner Hähnle, Joachim Posegga

Категория: Cs_Computer science, CsLn_Lecture notes

3.54 Mb

#6

Handbook of Tableau Methods

M. D'Agostino, Dov M. Gabbay, Reiner Hähnle, J. Posegga

3.24 Mb

#7

Tests and Proofs: Second International Conference, TAP 2008, Prato, Italy, April 9-11, 2008, Proceedings

Bernhard Beckert, Reiner Hähnle

1.84 Mb