Research Catalog
Mechanical theorem proving in geometries : basic principles
- Title
- Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
- Author
- Wu, Wen-tsün.
- Publication
- Wien ; New York : Springer-Verlag, 1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 94-600 | Offsite |
Details
- Description
- xiv, 288 p.; 24 cm.
- Series Statement
- Texts and monographs in symbolic computation, 0943-853X
- Subject
- Bibliography (note)
- Includes bibliographical references (p. [281]-284) and index.
- Call Number
- JSF 94-600
- ISBN
- 3211825061 (Wien : acid-free)
- 0387825061 (New York : acid-free)
- LCCN
- 94001452
- OCLC
- 29844023
- NYPG94-B37228
- Author
- Wu, Wen-tsün.
- Title
- Mechanical theorem proving in geometries : basic principles / Wen-tsün Wu ; translated from the Chinese by Xiaofan Jin and Dongming Wang.
- Imprint
- Wien ; New York : Springer-Verlag, 1994.
- Series
- Texts and monographs in symbolic computation, 0943-853X
- Bibliography
- Includes bibliographical references (p. [281]-284) and index.
- Research Call Number
- JSF 94-600