Mechanical theorem proving in geometries - basic principles
- Författare
- Wen-tsün Wu
- (Wen-tsün Wu.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1994 | Österrike, Wien, New York | xiv, 288 sidor. ill. |