Mechanical geometry theorem proving/ Shang-Ching Chou.
Series: Mathematics and its applications (D. Reidel Publishing Company)Publication details: Dordrecht; Boston: D. Reidel, Norwell, MA: Sold and distributed in the U.S.A. and Canada by Kluwer Academic, c1988.Description: xii, 362 p.: ill.; 25 cmISBN:- 9027726507
- 516.002 C552m
Item type | Current library | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 516.002 C552m 1988 IMPA (Browse shelf(Opens below)) | 1 | Available | 39063000165392 | |
Books | Castorina Estantes Abertas (Open Shelves) | Livros (Books) | 516.002 C552m 1988 IMPA (Browse shelf(Opens below)) | 2 | Available | 39063000165418 |
Browsing Castorina shelves, Shelving location: Estantes Abertas (Open Shelves), Collection: Livros (Books) Close shelf browser (Hides shelf browser)
No cover image available No cover image available | No cover image available No cover image available | |||||||
516 W894g 1952 IMPA Geometría analítica y calculo infinitesimal/ | 516 Y18g 1968 IMPA Geometry and symmetry/ | 516.002 C552m 1988 IMPA Mechanical geometry theorem proving/ | 516.002 C552m 1988 IMPA Mechanical geometry theorem proving/ | 516.00285 B869n 2008 IMPA Numerical geometry of non-rigid shapes/ | 516.00285 H236 2000 IMPA Handbook of computational geometry/ | 516.00285 U54 2002 IMPA Uncertainty in geometric computations/ |
Includes indexes.
Bibliography: p. 192.
There are no comments on this title.