scientific article
From MaRDI portal
Publication:2847392
zbMath1271.68209MaRDI QIDQ2847392
Publication date: 9 September 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066104000131
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 (2)
Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization ⋮ Accessing the Mizar Library with a Weakly Strict Mizar Parser
Uses Software
This page was built for publication:
