The Fusemate logic programming system

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

Publication:2055893


DOI10.1007/978-3-030-79876-5_34MaRDI QIDQ2055893

Peter Baumgartner

Publication date: 1 December 2021

Full work available at URL: https://doi.org/10.1007/978-3-030-79876-5_34


Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

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





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