Login / Signup

Empirical explorations of the geometry theorem machine.

Herbert L. GelernterJ. R. HansenDonald W. Loveland
Published in: IRE-AIEE-ACM Computer Conference (Western) (1960)
Keyphrases