This image is currently not available.

Mechanical Theorem Proving in Geometries

Basic Principles
Wen-Tsun Wu(Author)
Springer (Publisher)
Published on 1. May 1994
Book
Paperback/Softback
288 pages
978-0-387-82506-9 (ISBN)
€89.88incl. 7% vat
Article not available

More details