Machine Proofs in Geometry: Automated Production of Readable Proofs for Geometry Theorems
By: Chou, S.C.
Material type: BookSeries: Series on Applied Mathematics Vol-6.Publisher: Singapore World Scientific 1994Description: xvii, 461p.ISBN: 978-981-02-1584-3.Item type | Current location | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
516.0028 CHO (Browse shelf) | Available | 507995 |
There are no comments for this item.