Publication:4964707

From MaRDI portal
Revision as of 09:50, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


zbMath1457.68297arXiv1103.3319MaRDI QIDQ4964707

Enrico Tassi, Andrea Asperti

Publication date: 3 March 2021

Full work available at URL: https://arxiv.org/abs/1103.3319


Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

68V20: Formalization of mathematics in connection with theorem provers

68V15: Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.)



Uses Software


Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4964707&oldid=19399206"
Powered by MediaWiki