Hans Kleine Büning
Hans Kleine Büning
5 books in the database
Books
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 2012
Theory and Applications of Satisfiability Testing - SAT 2008Hans Kleine Büning
Theory and Applications of Satisfiability Testing - SAT 2008
Hans Kleine Büning · 2008
Aussagenlogik: Deduktion und AlgorithmenHans Kleine Büning
Aussagenlogik: Deduktion und Algorithmen
Hans Kleine Büning · 1994
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 1988
PrologHans Kleine Büning
Prolog
Hans Kleine Büning · 1986
Co-authored books and collections
Books that list Hans Kleine Büning among their authors but not as the lead author: co-written works, collections and compilations.
