Empirical explorations of the geometry theorem machine
A Fortran-Compiled List-Processing Language
Journal of the ACM
Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference on - IRE-AIEE-ACM ’60 (Western)
H. Gelernter
C. L. Gerberich
D. W. Loveland