Hans Kleine Büning

No bio available. Add one in Open Library.

Books by Hans Kleine Büning (50 max)

+ shelf+ list

Propositional logic: deduction and algorithms

1999

H. Kleine Büning, Hans Kleine Büning, Theodor Lettmann

+ shelf+ list

Prolog Grundlagen und Anwendungen

1986

Hans Kleine Büning, Stefan Schmitgen

+ shelf+ list

Prolog Grundlagen und Anwendungen

1988

Hans Kleine Büning, Stefan Schmitgen

+ shelf+ list

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings (Lecture Notes in Computer Science)

1988

Egon Börger, Hans Kleine Büning, Michael M. Richter

+ shelf+ list

Computer Science Logic: 5th Workshop, CSL '91, Berne, Switzerland, October 7-11, 1991. Proceedings (Lecture Notes in Computer Science)

1992

Egon Börger, Gerhard Jäger, Michael M. Richter, Hans Kleine Büning

+ shelf+ list

Aussagenlogik: Deduktion und Algorithmen

1994

Hans Kleine Büning, Theodor Lettmann

+ shelf+ list

Theory and Applications of Satisfiability Testing - SAT 2008 11th International Conference, SAT 2008, Guangzhou, China, May 12-15, 2008, Proceedings

2008

Hans Kleine Büning, Xishun Zhao

+ shelf+ list

Prolog Grundlagen und Anwendungen

2012

Hans Kleine Büning, Stefan Schmitgen