A Mechanical Proof Procedure and its Realization in an Electronic Computer
From MaRDI portal
Publication:5614670
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
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
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
