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

Herbert L. Gelernter

Published in: Inf. Control. (1959)

Keyphrases

decision making
computer systems
data sets
computer vision
expert systems
distributed systems
formal methods
information retrieval
artificial intelligence
information systems
natural language
building blocks
onset detection