Author

Hans Kleine Büning

8 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

8 books
Aussagenlogik: Deduktion und Algorithmen

Aussagenlogik: Deduktion und Algorithmen

Year unknown Hans Kleine Büning and Theodor Lettmann
Computer Science Logic

Computer Science Logic

Year unknown Egon Börger, Gerhard Jäger, Michael M. Richter, and Hans Kleine Büning
CSL '87

CSL '87

Year unknown Egon Börger, Hans Kleine Büning, and Michael M. Richter
Prolog

Prolog

Year unknown Hans Kleine Büning and Stefan Schmitgen
Prolog

Prolog

Year unknown Hans Kleine Büning and Stefan Schmitgen
Prolog

Prolog

Year unknown Hans Kleine Büning and Stefan Schmitgen
Propositional logic

Propositional logic

Year unknown H. Kleine Büning, Hans Kleine Büning, and Theodor Lettmann
Theory and Applications of Satisf...

Theory and Applications of Satisfiability Testing - SAT 2008

Year unknown Hans Kleine Büning and Xishun Zhao

Fetched from OpenLibrary. Some translations may appear as separate works.