Verifying and Invalidating Textbook Proofs Using Scunak

From MaRDI portal
Revision as of 05:03, 7 March 2024 by Import240305080351 (talk | contribs) (Created automatically from import240305080351)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5756759

DOI10.1007/11812289_10zbMath1188.68259OpenAlexW1542278106MaRDI QIDQ5756759

Chad Edward Brown

Publication date: 5 September 2007

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

Full work available at URL: https://doi.org/10.1007/11812289_10



Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).


Related Items (2)

A User-friendly Interface for a Lightweight Verification System ⋮ scunac


Uses Software



This page was built for publication: Verifying and Invalidating Textbook Proofs Using Scunak

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