Proof Simplification and Automated Theorem Proving
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences - United Kingdom
doi 10.1098/rsta.2018.0034
Full Text
Open PDFAbstract
Available in full text
Date
January 21, 2019
Authors
Publisher
The Royal Society