| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) |
|---|---|---|---|
| Automated Deduction: A Basis for Applications, Vol. 3: Applications | 978-0-7923-5131-3 (0-7923-5131-2) | 1998 | Wolfgang Bibel |
| Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications | 978-0-7923-5129-0 (0-7923-5129-0) | 1998 | " |
| Theorie Der Logischen Programmierung: Eine Elementare Einfuhrung | 978-0-387-55702-1 (0-387-55702-4) | 1992 | |
H.S. · H. Schmitt · Mr. Peter H Schmitt · P. H. · P S · P. Schmitt · Peter H. Schmitt