It looks like you're offline.

Last edited anonymously

April 29, 2008 | History

Edit

Hans Kleine Büning

We need a photo of Hans Kleine Büning

8 works Add another?

Most Editions

Most Editions First Published Most Recent Top Rated Reading Log Trending Random

Details Grid — Show only ebooks?

Propositional Logic: Deduction and Algorithms (Cambridge Tracts in Theoretical Computer Science)

by H. Kleine Büning, Hans Kleine Büning, and Theodor Lettmann First published in 1999
2 editions

Locate

My Reading Lists:

Create a new list

Create a new list
×Close

Name:

Description:

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

by Egon Börger, Gerhard Jäger, Michael M. Richter, and Hans Kleine Büning First published in 1992
1 edition

Locate

My Reading Lists:

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

by Egon Börger, Hans Kleine Büning, and Michael M. Richter First published in 1988
1 edition

Locate

My Reading Lists:

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

by Hans Kleine Büning and Xishun Zhao First published in 2008
1 edition

Locate

My Reading Lists:

Create a new list
Aussagenlogik: Deduktion und Algorithmen

by Hans Kleine Büning and Theodor Lettmann First published in 1994
1 edition

Locate

My Reading Lists:

Create a new list
Prolog: Grundlagen und Anwendungen

by Hans Kleine Büning and Stefan Schmitgen First published in 1988
1 edition

Locate

My Reading Lists:

Create a new list
Prolog: Grundlagen und Anwendungen

by Hans Kleine Büning and Stefan Schmitgen First published in 1986
1 edition

Locate

My Reading Lists:

Create a new list
Prolog: Grundlagen und Anwendungen

by Hans Kleine Büning and Stefan Schmitgen First published in 2012
1 edition

Locate

My Reading Lists:

Create a new list

We need a photo of Hans Kleine Büning

Add to List

My Reading Lists:

Create a new list

ID Numbers

OLID: OL2767762A

Links outside Open Library

No links yet. Add one?

Download catalog record: RDF / JSON