scientific article
From MaRDI portal
Publication:2852039
zbMath1273.68324MaRDI QIDQ2852039
Alan Bundy, R. L. McCasland, Patrick F. Smith
Publication date: 7 October 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001071
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Automated theory exploration for interactive theorem proving: an introduction to the Hipster system, Automated theorem provers: a practical tool for the working mathematician?, Hipster: Integrating Theory Exploration in a Proof Assistant, High-Level Theories