scientific article
From MaRDI portal
Publication:2847390
zbMath1271.68207MaRDI QIDQ2847390
Serge Autexier, Armin Fiedler, Bao Quoc Vo, Helmut Horacek, Christoph Benzmüller
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104000118
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Semi-intelligible Isar proofs from machine-generated proofs ⋮ A proof-centric approach to mathematical assistants ⋮ Computer supported mathematics with \(\Omega\)MEGA ⋮ Supporting the formal verification of mathematical texts
Uses Software
This page was built for publication:
