Microprogrammed operations for a three-value logic simulator.

Stephen L. Squires

Published in: MICRO (1974)

Keyphrases

logical operations
classical logic
logic programming
modal logic
nonmonotonic logics
processing units
multi valued
automated reasoning
databases
data sets
expert systems
database
multi agent systems
data structure
image processing
information retrieval
predicate logic
deontic logic
asynchronous circuits