A Rectangular Logic Array.

Sheldon B. Akers Jr.

Published in: IEEE Trans. Computers (1972)

Keyphrases

logic programming
modal logic
multi valued
random access memory
automated reasoning
epistemic logic
proof theory
machine learning
genetic algorithm
case study
database systems
programmable logic
strip packing