Automated deduction in geometry - International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27 - 29, 1996 : selected papers
- Författare
- International Workshop on Automated Deduction in Geometry 1996) (Toulouse :
- (Dongming Wang, (ed.).)
- Genre
- Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer-Vlg | cop. 1998 | Tyskland, Berlin | 234 sidor. ill. |