Binary Logic for Residue Arithmetic Using Magnitude Index.
Thammavarapu R. N. RaoAvtar K. TrehanPublished in: IEEE Trans. Computers (1970)
Keyphrases
- multi valued
- multiple valued
- micron cmos
- logical operations
- logic programming
- classical logic
- predicate logic
- defeasible logic
- database
- index structure
- quantifier free
- indexing method
- computational properties
- automated reasoning
- arithmetic operations
- asynchronous circuits
- proof theory
- non binary
- rewrite systems
- knowledge base