Symbolic logic in engineering: I. symbolic logic truth matrices on a computer.

R. G. Larkin H. M. Semarne

Published in: ACM National Meeting (1959)

Keyphrases

modal logic
classical logic
software engineering
engineering design
multi valued
proof theory
logic programming
automated reasoning
probabilistic logic
logical framework
set theory
binary decision diagrams
truth values
asynchronous circuits
neural learning