Machine Proofs in Geometry
Automated Production of Readable Proofs for Geometry Theorems
We couldn't estimate the reading time for this book.
Publication
1994 - World Scientific Publishing Co Pte Ltd
Language
English
Word Count
0 words, Guess
Page Count
0 pages
Identifiers
- ISBN-139789812798152
- ISBN-109812798153
- Better World Books9789812798152
- Open LibraryOL49250577M
Subjects
Topics
Other Editions
- Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
Reader Reviews
No reviews yet for this book.
Be the first to share your thoughts!