H. Gelernter

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

1960

3 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		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]