STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
H. Kleine Büning | lit.salon
H. Kleine Büning
No bio available.
Add one in Open Library.
Books by H. 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
Projections of vector addition system reachability sets are semilinear
1988
H. Kleine Büning