3 Big Cats Publishing · Springer
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Automated Deduction -- A Basis for Applications Volume I Foundations -- Calculi and Methods | 978-0-7923-5132-0 | 1998 | ||
| Deductive Software Verification - The KeY Book: From Theory to Practice | 978-3-319-49811-9 | 2016 | Wolfgang Ahrendt · Bernhard Beckert · Richard Bubel · Reiner Hähnle · Mattias Ulbrich | |
| Nonmonotonic and Inductive Logic: 1st International Workshop, Karlsruhe, Germany, December 4-7, 1990. Proceedings | 978-3-540-54564-4 | 2008 | J??rgen Dix · Klaus P. Jantke | |
| Nonmonotonic and Inductive Logic: Second International Workshop, Reinhardsbrunn Castle, Germany, December 2-6, 1991. Proceedings | 978-3-540-56433-1 | 2008 | Gerhard Brewka · Klaus P. Jantke | |
| The Class Reunion | 978-0-9829470-2-9 | 2015 | ||
| Theorie der logischen Programmierung: Eine elementare Einführung | 978-3-540-55702-9 | 1992 | ||
| Verification of Object-Oriented Software: The KeY Approach | 978-3-540-68977-5 | 2008 | Bernhard Beckert · Reiner Hahnle | |
H.S. · H. Schmitt · Mr. Peter H Schmitt · P. H. · P.H. Schmitt · P S · P. Schmitt · Peter H. · Peter Schmitt · Schmitt, Peter H.