Login / Signup
A Mechanical Proof Procedure and its Realization in an Electronic Computer.
Dag Prawitz
Haåkan Prawitz
Neri Voghera
Published in:
J. ACM (1960)
Keyphrases
</>
proof procedure
theorem proving
propositional logic
first order logic
predicate calculus
abductive logic programming
artificial intelligence
bayesian networks
optimal solution
probabilistic model
inference rules
proof procedures