Ternary logic in digital computers.

Roy D. Merrill Jr.

Published in: DAC (1965)

Keyphrases

computer systems
modal logic
computational properties
multi agent systems
logic programming
sound and complete axiomatization
neural network
digital images
expressive power
computer technology
digital media
automated reasoning
classical logic
predicate logic
abductive reasoning
asynchronous circuits