A Mechanical Proof Procedure and its Realization in an Electronic Computer

DOI10.1145/321021.321023zbMath0213.02401OpenAlexW1998522605MaRDI QIDQ5614670

Dag Prawitz, H. Prawitz, N. Voghera

Publication date: 1960

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321021.321023

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (5)

lean\(T^ AP\): Lean tableau-based deduction ⋮ Prawitz, Proofs, and Meaning ⋮ Theorem proving with variable-constrained resolution ⋮ Proof search algorithm in pure logical framework ⋮ From Schütte’s Formal Systems to Modern Automated Deduction

This page was built for publication: A Mechanical Proof Procedure and its Realization in an Electronic Computer