Mechanical Theorem Proving in Geometries: Basic Principles

Author
Dr. Wen-tsün Wu (auth.)
Publisher
Springer-Verlag Wien
Language
English
Edition
1
Year
1994
Page
288
ISBN
978-3-211-82506-8,978-3-7091-6639-0
File Type
pdf
File Size
4.9 MiB

How to Download?!!!

Just click on START button on Telegram Bot

Free Download Book