Automating the search for elegant proofs
From MaRDI portal
Publication:1272613
DOI10.1023/A:1005847113370zbMath0910.68196OpenAlexW1562214524MaRDI QIDQ1272613
Publication date: 3 January 1999
Published in: Journal of Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005847113370
Related Items (3)
Gibbard’s Collapse Theorem for the Indicative Conditional: An Axiomatic Approach ⋮ Proof simplification and automated theorem proving ⋮ Theorem proving as constraint solving with coherent logic
Uses Software
This page was built for publication: Automating the search for elegant proofs
