Most Popular Books
- Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
- Preliminary Implementation of a Ratio Image Depth Sensor
- On the Existence and Synthesis of Multifinger Positive Grips
- Precise Implementation of CAD Primitives Using Rational Parametrizations of Standard Surfaces
