Herbert L. Gelernter

According to our database, Herbert L. Gelernter authored at least 14 papers between 1958 and 1998.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

1998

Distributed Heuristic Synthesis Search.

Daren Krebsbach, Herbert L. Gelernter, Scott McN. Sieburth

J. Chem. Inf. Comput. Sci., 1998

1994

A Computer-Oriented Linear Canonical Notational System for the Representation of Organic Structures with Stereochemistry.

Krishna K. Agarwal, Herbert L. Gelernter

J. Chem. Inf. Comput. Sci., 1994

1993

Knowledge Discovery in Reaction Databases.

John R. Rose, Herbert L. Gelernter

Proceedings of the CIKM 93, 1993

1990

Building and refining a knowledge base for synthetic organic chemistry via the methodology of inductive and deductive machine learning.

Herbert L. Gelernter, J. Royce Rose, Chyouhwa Chen

J. Chem. Inf. Comput. Sci., 1990

1982

Research at SUNY: Stony Brook.

Herbert L. Gelernter, Mark A. Jones, Sharon C. Salveter, David Scott Warren

SIGART Newsl., 1982

1979

Data Metastructures.

Alfons F. Sanders, Herbert L. Gelernter

Softw. Pract. Exp., 1979

1978

Application of chemical transforms in EYNCHEMZ: a computer program for organic synthesis route discovery.

Krishna K. Agarwal, David L. Larsen, Herbert L. Gelernter

Comput. Chem., 1978

1965

Data Collection and Reduction for Nuclear Particle Trace Detectors.

Herbert L. Gelernter

Adv. Comput., 1965

1961

A Note on the System Requirements of a Digital Computer for the Manipulation of List Structures.

Herbert L. Gelernter

IRE Trans. Electron. Comput., 1961

1960

A Fortran-Compiled List-Processing Language.

Herbert L. Gelernter, J. R. Hansen, Carl L. Gerberich

J. ACM, 1960

Empirical explorations of the geometry theorem machine.

Herbert L. Gelernter, J. R. Hansen, Donald W. Loveland

Proceedings of the Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, 1960

1959

A Note on Syntactic Symmetry and the Manipulation of Formal Systems by Machine

Herbert L. Gelernter

Inf. Control., April, 1959

Realization of a geometry theorem proving machine.

Herbert L. Gelernter

Proceedings of the Information Processing, 1959

1958

Intelligent Behavior in Problem-Solving Machines.

Herbert L. Gelernter, Nathaniel Rochester

IBM J. Res. Dev., 1958