Mechanical theorem proving in geometries : basic principles ; translated from the Chinese by Xiaofan Jin and Dongming Wang
Language: English Series: Publication details: ; Wien : Springer-Verlag, 1994 ; 1994Edition: Description: xiv,288 p; 24 cmISBN: 1Subject(s): | Geometry-Data processing | Automatic theorem provingItem type | Current library | Call number | Status | Notes | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Books | Central Library, IITB | 513:681.3 Wu | Available | G09A08 | 172828 |
Total holds: 0
There are no comments on this title.