- Artificial intelligence (14)
- Heuristic programming (2)
- Linguistics--Data processing (2)
- Perceptrons (2)
- Automatic theorem proving (1)
- Bach, Johann Sebastian, 1685-1750 (1)
- Cognition--Data processing (1)
- Electronic digital computers--Programming (1)
- Escher, M. C. (Maurits Cornelis), 1898-1972 (1)
- Gödel, Kurt (1)
- Information theory (1)
- Information theory in biology (1)
- Interactive computer systems (1)
- Logic, Symbolic and mathematical (1)
- Machine theory (1)
- Metamathematics (1)
- Pattern perception (1)
- Semantics (1)
- Semantics--Data processing (1)
- Symmetry (1)
- Thought and thinking (1)