Publications

Empirical explorations of the geometry theorem machine

• • H. Gelernter
  • J.R. Hansen
  • et al.
• 1960
• Western IRE-AIEE-ACM 1960