Geometry Program Teiginys1 #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
![](Handler.ashx?path=ROOT/u23/107Geometry.jpg)
H. Gelernter, 1963.
|