MPG.eBooks - Search Results - "Logic"

Cover Image

1

Handbook of Tableau Methods

Published 1999

Springer Netherlands

Subjects: “...Mathematical logic...”

Cover Image

2

Automated Reasoning : 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings

Published 2010

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

3

Theorem Proving with Analytic Tableaux and Related Methods : 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Subjects: “...Mathematical logic...”

Cover Image

4

Active Object Languages: Current Research Trends

Published 2024

Springer Nature Switzerland

Subjects: “...Logic design...”

Cover Image

5

Formal Methods for Components and Objects : 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Published 2013

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

6

Deductive Software Verification: Future Perspectives : Reflections on the Occasion of 20 Years of KeY

Published 2020

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

7

Verification of Object-Oriented Software. The KeY Approach : Foreword by K. Rustan M. Leino

Published 2007

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

8

Deductive Software Verification – The KeY Book : From Theory to Practice

Published 2016

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”

Cover Image

9

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

Published 2008

Springer Berlin Heidelberg

Subjects: “...Computer Science Logic and Foundations of Programming...”