A Simplified Summation Array for Cellular Logic Modules.
David W. HuttonWilliam H. KautzPublished in: IEEE Trans. Computers (1974)
Keyphrases
- logic programming
- predicate logic
- random access memory
- cellular automata
- multi valued
- building blocks
- computational properties
- defeasible logic
- antenna array
- proof theory
- automated reasoning
- logical framework
- formal theory
- classical logic
- sound and complete axiomatization
- programmable logic
- digital circuits
- functional modules
- machine learning
- probability theory
- high speed
- multi agent
- case study
- website