Array Logic Macros.

Published in: IBM J. Res. Dev. (1975)

Keyphrases

random access memory
predicate logic
classical logic
modal logic
sound and complete axiomatization
multi valued
logical framework
proof theory
key features
probability theory
expert systems
digital circuits
information retrieval
formal theory
asynchronous circuits
linear array
data mining
database