- Fundamentals of Artificial Intelligence: An Advanced Course
- Automated Theorem Proving
- Mathematical Methods of Specification and Synthesis of Software Systems '85: Proceedings of the International Spring School Wendisch-Rietz, GDR, April ... (Lecture Notes in Computer Science) (v. 215)
- Lehren Vom Leben: Essays Uber Mensch Und Gesellschaft
- Wissensreprasentation Und Inferenz: Eine Grundlegende Einfuhrung