Publication
Detail
Publication date: 01/01/2010Exploring Steinitz-Rademacher polyhedra: A challenge for automated reasoning tools
URL | http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html |
---|---|
Publisher | Universitat Politècnica de Catalunya |
URL | http://www.eprover.org/EVENTS/IWIL-2010/iwil-2010.html |
Publisher | Universitat Politècnica de Catalunya |