MACHINE PROOFS IN GEOMETRY . AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEORENS
By: CHOU SHANG CHING
.
Material type: 
BookPublisher: LONDON WORLD SCIENTIFIC PRESS 1994ISBN: 9810215843.
| Item type | Current location | Call number | Copy number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Books,Booklets,Workbooks
|
Awwal Ibrahim Library Bosso | QA481.C48 (Browse shelf) | nc 1 | Available | 2342124345 |
Browsing Awwal Ibrahim Library Bosso Shelves Close shelf browser
|
|
|
|
|
|
No cover image available | ||
| QA473.S63 1988 Modern geometry/ | QA476.G63 1987 Conjugacy / | QA479. D27 1979 Design and analysis of experiments / | QA481.C48 MACHINE PROOFS IN GEOMETRY . AUTOMATED PRODUCTION OF READABLE PROOFS FOR GEOMETRY THEORENS | QA501.G28 1983 Geometry of partial forms: | QA501.G28 1983 Geometry of partial forms: | QA501.G67 A COURSE IN DESCRIPTIVE GEOMETRY |
INCLUDES INDEX
B-25527/CJ/200617
There are no comments for this item.