MPG.eBooks - Search Results - "Logic"

Cover Image

1

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

2

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

3

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...”