Mechanical Theorem Proving in Geometries: basic principles Wen - Tsun Wu
Material type:
TextPublication details: Berlin Springer Verlag 1994Description: xiv,288pISBN: 3211825061Subject(s): Geometry -- Data Processing | Automatic theorem provingDDC classification: 516.0015 WUW
| Item type | Current library | Collection | Call number | Vol info | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
REFERENCE BOOK
|
LRC_JUIT Mathematics | REFERENCE SECTION | REF 516.0015 WUW (Browse shelf (Opens below)) | Copy 1 | Not for loan | 009521 | ||
TEXT BOOK
|
LRC_JUIT Mathematics | TEXTBOOK SECTION | 516.0015 WUW (Browse shelf (Opens below)) | Copy 2 | Available | 010024 |
Total holds: 0
Browsing LRC_JUIT shelves, Shelving location: Mathematics, Collection: REFERENCE SECTION Close shelf browser (Hides shelf browser)
|
|
|
|
|
|
|
||
| REF 515.96 FRE Geomathematically Oriented Potential Theory | REF 515.98 MAE Asymptotic Characteristics of Entire Functions and their Applications in Mathematics and Biophysics | REF 516 MAT Introduction to the Mori Program | REF 516.0015 WUW Mechanical Theorem Proving in Geometries: basic principles | REF 516.00285 BAY Geometric Computing: for wavelet transforms, robot vision, learning, control and action | REF 516.00285 GOL Pyramid Algorithms: a dynamic programming approach to curves and surfaces for Geometric modeling | REF 516.00285 MOR Geometric Transformations for 3D Modeling |
There are no comments on this title.