Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
ناشر:
شابک: 9810215843,9789810215842
زبان:
English
کالکشن
:
-
آمار بازدید
Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems
Show full item record
contributor author | Shang-Ching Chou | |
contributor author | Xiao-Shan Gao | |
contributor author | Jingzhong Zhang | |
date accessioned | 2020-04-21T19:30:10Z | |
date available | 2020-04-21T19:30:10Z | |
date copyright | 1994 | |
identifier isbn | 9810215843,9789810215842 | |
identifier other | /pad-books/801000-900000/871000/8d27e8e2c584f6233b17daaf1d19b639.djvu | |
identifier uri | http://libsearch.um.ac.ir:80/fum/handle/fum/3031608 | |
format mimetype | application/djvu | |
language | English | |
publisher | World Scientific | |
title | Machine Proofs In Geometry: Automated Production of Readable Proofs for Geometry Theorems | |
type | Ebook | |
contenttype | Fulltext | |
identifier padid | 934076 | |
coverage | general | |
pages | 476 | |
filesize | 6922608 | |
identifier link | https://pad.um.ac.ir/file/view/934076 | |
series | Series on applied mathematics, v. 6 |