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)
More details
Series
Language
English
Place of publication
Austria
Product notice
Paperback (trade)
Unsewn / adhesive bound
Illustrations
Illustrations
ISBN-13
978-0-387-82506-9 (9780387825069)
Copyright in bibliographic data is held by Nielsen Book Services Limited or its licensors: all rights reserved.
Schweitzer Classification