Programming the logic theory machine.
Allen NewellJ. C. ShawPublished in: IRE-AIEE-ACM Computer Conference (Western) (1957)
Keyphrases
- formal theory
- programming language
- proof theory
- set theory
- proof theoretic
- theoretical framework
- computer algebra
- logic programming
- asynchronous circuits
- commonsense reasoning
- multi valued
- computational model
- programming environment
- probability theory
- deductive reasoning
- logical framework
- classical logic
- general theory
- predicate logic
- automated reasoning
- development environment
- theoretical basis
- flowshop