+1) arithmetic logic.

Dharma P. Agrawal T. R. N. Rao

Published in: IEEE Symposium on Computer Arithmetic (1978)

Keyphrases

micron cmos
automated reasoning
modal logic
logic programming
multi valued
multiresolution
floating point
search algorithm
neural network
computational properties
defeasible logic
formal theory
epistemic logic
logic synthesis
quantifier free
sound and complete axiomatization
case study