From Formal Proofs to Mathematical Proofs: A Safe, Incremental Way for Building in First-Order Decision Procedures
IFIP International Federation for Information Processing
doi 10.1007/978-0-387-09680-3_24
Full Text
Open PDFAbstract
Available in full text
Date
Unknown
Authors
Publisher
Springer US