NotesFAQContact Us
Collection
Advanced
Search Tips
ERIC Number: EJ185896
Record Type: Journal
Publication Date: 1978
Pages: N/A
Abstractor: N/A
Reference Count: N/A
ISBN: N/A
ISSN: N/A
Theorem-Proving With Euclid: Artifically Intelligent CAI In Extended BASIC
Kelanic, Thomas J.
Creative Computing, 4, 4, 60-3, Jul/Aug 78
A brief description of the operation of Euclid (a theorem-proving computer program written by the author) is given and directions to be taken in its continuing development are indicated. (MN)
Publication Type: N/A
Education Level: N/A
Audience: N/A
Language: N/A
Sponsor: N/A
Authoring Institution: N/A