The rationale for logic from semiconductor memory.
W. H. DavidowPublished in: AFIPS Spring Joint Computing Conference (1972)
Keyphrases
- memory space
- logic programming
- memory requirements
- computing power
- random access memory
- memory size
- probabilistic logic
- multi valued
- automated reasoning
- memory usage
- main memory
- modal logic
- defeasible logic
- neural network
- semiconductor manufacturing
- design decisions
- database
- data structure
- information systems
- classical logic
- formal theory
- asynchronous circuits
- low memory
- proof theory
- data sets