Herbert Gelernter

with IBM’s plane geometry project, Nathaniel Rochester and Herbert Gelernter（英语：Herbert Gelernter） (on the advice of McCarthy) decided to implement a list

CA=BA, 则三角形ABC与ACB全等(SSS), 故三角形ABC 两底角相等 Q.E.D. 在约1960年，赫伯特·吉伦特（英语：Herbert Gelernter）编写的程序也得到了相同的证明。 十四世紀作家理查德·昂格維爾（英语：Richard Aungerville）在《書之愛（英语：Ph

Rise and Fall of the Great Powers" 的作者。 John Gaddis，歷史學家，冷戰的專家。 David Gelernter(1976年)，電腦科學家，Linda程式語言的創作人之一。 Paul Hudak，電腦科學家。他最知名的成就是－Haskell程式語言。書籍

with IBM’s plane geometry project, Nathaniel Rochester and Herbert Gelernter（英语：Herbert Gelernter） (on the advice of McCarthy) decided to implement a list

Solver）”程序，将这一算法推广到一般情形。另一些基于搜索算法证明几何与代数问题的程序也给人们留下了深刻印象，例如赫伯特·吉寧特（Herbert Gelernter）的几何定理证明机（1958）和馬文·李·閔斯基的学生James Slagle开发的SAINT（1961）。还有一些程序通过搜索目标