Walter Pitts and "A Logical Calculus".

Mark Schlatter Ken Aizawa

Published in: Synth. (2008)

Keyphrases

computer algebra
lambda calculus
decision trees
proof procedure
algebraic structure
logical representation
real time
image processing
theorem proving
natural deduction
provably correct
logical reasoning
logical operations