MECHANICAL GEOMETRY THEOREM PROVING
By: Chou, Shang-Ching.
Material type: BookSeries: Mathematics And Its Applications. Publisher: Dordrecht D. Reidel 1988Description: xii,362.Subject(s): Automatic Theorem ProvingDDC classification: 516.00285 | C457mItem type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|---|
Books | PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 516.00285 C457m (Browse shelf) | Book Request | Available | A100424 |
Total holds: 0
There are no comments for this item.