Empirical explorations of the geometry theorem machine
- H. Gelernter
- J.R. Hansen
- et al.
- 1960
- Western IRE-AIEE-ACM 1960
Publications
Date
Featured collections
Popular topics
5 results for H. Gelernter
A fortran-compiled list-processing language
- H. Gelernter
- J.R. Hansen
- et al.
- 1959
- ACM National Meeting 1959
Programming for an advanced nuclear physics data acouisition system
- J. Birnbaum
- H. Gelernter
- 1968
- IEEE TNS
A Note on the System Requirements of a Digital Computer for the Manipulation of List Structures
- Herbert Gelernter
- 1961
- IRE Transactions on Electronic Computers
A note on syntactic symmetry and the manipulation of formal systems by machine
- H. Gelernter
- 1959
- Information and Control