کتاب های Dr. Rer. Nat. Hans Kleine Büning

Aussagenlogik: Deduktion und Algorithmen
Prof. Dr. rer. nat. Hans Kleine Büning, 1994
Aussagenlogik: Deduktion und Algorithmen
Prof. Dr. rer. nat. Hans Kleine Büning, 1994
Prolog: Grundlagen und Anwendungen
Prof. Dr. rer. nat. Hans Kleine Büning, 1986
Prolog: Grundlagen und Anwendungen
Dr. rer. nat. Hans Kleine Büning, 1988
A Survey of Recent Advances in SAT-Based Formal Verification
Hans Kleine Büning, 1999