Browsing by Author Feinberg, Brion
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 1980 | GEO: An Artificially Intelligent Geometry Theorem Prover Using the Guided-Arrow Technique | Feinberg, Brion |
| Issue Date | Title | Author(s) |
|---|---|---|
| 1980 | GEO: An Artificially Intelligent Geometry Theorem Prover Using the Guided-Arrow Technique | Feinberg, Brion |