Conditional-Sum Early Completion Adder Logic.

Norman M. Martin Stephen P. Hufnagel

Published in: IEEE Trans. Computers (1980)

Keyphrases

logic circuits
conditional logic
modal logic
classical logic
logic programming
automated reasoning
multi valued
probabilistic logic
data flow
nonmonotonic logics
epistemic logic
proof theory
default reasoning
weighted sum
digital circuits
deontic logic
high speed
random field model
square error