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
- On the Complexity of Motion Planning for Multiple Independent Objects; Pspace Hardness of the Warehouseman's Problem - Primary Source Edition
- Preliminary Implementation of a Ratio Image Depth Sensor
- On the Existence and Synthesis of Multifinger Positive Grips