eCite Digital Repository
The Kinds of Truth of Geometry Theorems
Citation
Bulmer, M and Fearnley-Sander, DP and Stokes, TE, The Kinds of Truth of Geometry Theorems, Automated Deduction in Geometry, September 25-27, 2000, Zurich, Switzerland, pp. 129-141. ISBN 3-540-42598-5 (2001) [Refereed Conference Paper]
Item Details
| Item Type: | Refereed Conference Paper |
|---|---|
| Research Division: | Information and Computing Sciences |
| Research Group: | Theory of computation |
| Research Field: | Theory of computation not elsewhere classified |
| Objective Division: | Expanding Knowledge |
| Objective Group: | Expanding knowledge |
| Objective Field: | Expanding knowledge in the mathematical sciences |
| UTAS Author: | Fearnley-Sander, DP (Mr Desmond Fearnley-Sander) |
| ID Code: | 21380 |
| Year Published: | 2001 |
| Deposited By: | Mathematics |
| Deposited On: | 2001-08-01 |
| Last Modified: | 2002-05-09 |
| Downloads: | 0 |
Repository Staff Only: item control page