H. Gelernter

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1960

3 EE H. Gelernter, J. R. Hansen, C. L. Gerberich: A Fortran-Compiled List-Processing Language. J. ACM 7(2): 87-101 (1960)

1959

2 H. Gelernter: Realization of a geometry theorem proving machine. IFIP Congress 1959: 273-281

1 H. Gelernter: A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine Information and Control 2(1): 80-89 (1959)

1960
3	EE	H. Gelernter, J. R. Hansen, C. L. Gerberich: A Fortran-Compiled List-Processing Language. J. ACM 7(2): 87-101 (1960)
1959
2		H. Gelernter: Realization of a geometry theorem proving machine. IFIP Congress 1959: 273-281
1		H. Gelernter: A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine Information and Control 2(1): 80-89 (1959)

Coauthor Index

1 C. L. Gerberich [3]

2 J. R. Hansen [3]