| dc.creator | Goldstein, Ira | |
| dc.date | 2004-10-01T20:37:24Z | |
| dc.date | 2004-10-01T20:37:24Z | |
| dc.date | 1973-04-01 | |
| dc.date.accessioned | 2013-10-09T02:41:20Z | |
| dc.date.available | 2013-10-09T02:41:20Z | |
| dc.date.issued | 2013-10-09 | |
| dc.identifier | AIM-280 | |
| dc.identifier | http://hdl.handle.net/1721.1/5798 | |
| dc.identifier.uri | http://koha.mediu.edu.my:8181/xmlui/handle/1721 | |
| dc.description | An elementary theorem prover for a small part of plane Euclidean geometry is presented. The purpose is to illustrate important problem solving concepts that naturally arise in building procedural models for mathematics. | |
| dc.format | 46 p. | |
| dc.format | 17197216 bytes | |
| dc.format | 1599499 bytes | |
| dc.format | application/postscript | |
| dc.format | application/pdf | |
| dc.language | en_US | |
| dc.relation | AIM-280 | |
| dc.title | Elementary Geometry Theorem Proving |
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||