Creative Commons Attribution 2.0
Werke:
- Deduction : automated logic
- Mathematical methods of specification and synthesis of software systems '85 : proceedings of the internat. spring school held in Wendisch-Rietz (GDR), April 22 - 26, 1985
- Studien- und Forschungsführer künstliche Intelligenz
- Fundamentals of artificial intelligence : an advanced course