STORE
search
⌘K
Explore
Salon
Quotes
Lists
Reviews
Writings
—
Changelog
About
Contact
Privacy
Donate
Kai Engelhardt | lit.salon
Kai Engelhardt
No bio available.
Add one in Open Library.
Books by Kai Engelhardt (50 max)
+ shelf
+ list
Data refinement: model-oriented proof methods and their comparison
1998
W.-P. de Roever, Willem-Paul de Roever, Kai Engelhardt
