Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh
60,84 €
Rigidity of Origami Universal Molecules. - Algebraic Analysis of Huzita's Origami Operations and Their Extensions. - Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs.
Jetzt bei Ebay:
