The recording, checking, and printing of logic diagrams.

Martin Kloomok Paul W. Case Herbert H. Graff

Published in: AIEE-ACM-IRE Computer Conference (Eastern) (1958)

Keyphrases

classical logic
high speed
multi valued
verification method
low cost
modal logic
predicate logic
epistemic logic
deontic logic
proof theory