scientific article
From MaRDI portal
Publication:2739733
zbMath0976.68133MaRDI QIDQ2739733
Publication date: 16 September 2001
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 (6)
What is a proof? ⋮ Computational logic: its origins and applications ⋮ A proof-centric approach to mathematical assistants ⋮ Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL ⋮ Non-standard analysis in dynamic geometry ⋮ Mechanised modal model theory
Uses Software
This page was built for publication:
