scientific article
From MaRDI portal
Publication:2767009
zbMath0988.68586MaRDI QIDQ2767009
Publication date: 22 July 2002
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)
Supporting the formal verification of mathematical texts ⋮ A User-friendly Interface for a Lightweight Verification System ⋮ Machine Translation and Type Theory ⋮ Programmed Strategies for Program Verification
Uses Software
This page was built for publication: