Proof, message and certificate

DOI10.1007/978-3-642-31374-5_2MaRDI QIDQ2907309zbMATH OpenOpenAlexFDO

Authors Andrea Asperti

Publication date 7 September 2012

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-31374-5_2

zbMATH Keywords

mathematical knowledge management

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Knowledge representation (68T30)

Recommendations

• scientific article; zbMATH DE number 6741937
• Proving and programming
• Formal proof -- theory and practice
• scientific article; zbMATH DE number 2152637
• Mixing computations and proofs

This page was built for publication: Proof, message and certificate

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2907309)