Proof Assistant Decision Procedures for Formalizing Origami

Cezary Kaliszyk, Tetsuo Ida
  • January 2011, Springer Science + Business Media
  • DOI: 10.1007/978-3-642-22673-1_4
The author haven't finished explaining this publicationThe author haven't finished explaining this publication

The following have contributed to this page: Cezary Kaliszyk