Reading Length
Home
Speed Tests
Login
Peter H. Schmitt
Identifiers
Open Library
OL2784346A
Top Subjects
Artificial intelligence (1)
Logic (1)
Expert Systems (1)
Computers - General Information (1)
Programming - Software Development (1)
Philosophy / Logic (1)
Computer software (1)
Books by Peter H. Schmitt
Total count: 4
Automated Deduction -- A Basis for Applications Volume I Foundations -- Calculi and Methods
1 edition
Springer
1899-12-31
Theorie der logischen Programmierung
Eine elementare Einführung
Springer Berlin Heidelberg
1992-10-16
Verification of Object-Oriented Software. the KeY Approach
Foreword by K. Rustan M. Leino
Springer London, Limited
2007-01-01
Deductive Software Verification - the KeY Book
From Theory to Practice
Springer International Publishing AG
2016-01-01
