scientific article
From MaRDI portal
Publication:3629622
zbMath1167.00006MaRDI QIDQ3629622
Publication date: 2 June 2009
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started ⋮ How Persuaded Are You? A Typology of Responses ⋮ Is mathematics problem solving or theorem proving?
This page was built for publication:
