Proof — List processing and cognition

Statement

List processing; human problem solving. Proved in ZFC.

Source

ACM Turing Award 1975. List processing; human problem solving. Proved in ZFC.

Domains

computer-science

People

• Allen Newell

Related

• Theorem: List processing and cognition
• Proof: List processing and cognition

Explore

• Dashboard
• Theorems
• Frameworks
• Lineage
• People