The strategy of cramming

From MaRDI portal

Publication:1810853

Jump to:navigation, search

DOI10.1023/A:1023278717096zbMath1023.68092MaRDI QIDQ1810853

Publication date: 9 June 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

automated reasoning cramming strategy proof shortening

Mathematics Subject Classification ID

Related Items (1)

Shortest axiomatizations of implicational S4 and S5

This page was built for publication: The strategy of cramming

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1810853&oldid=14169787"