| Geometry Program PartietArgument1 #152 Program works backward from geometric theorems, searching for proofs by means-end analysis. It breaks down problems using a hierarchy of goals and subgoals and uses heuristics to select the most promising search paths and avoid impossible paths. |
107
H. Gelernter, 1963.
|