scientific article
From MaRDI portal
Publication:3885237
zbMath0442.68096MaRDI QIDQ3885237
Publication date: 1980
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)
Theorem proving with abstraction ⋮ A simplified problem reduction format ⋮ Gazing: An approach to the problem of definition and lemma use ⋮ A theory of abstraction ⋮ Deduction as an Engineering Science ⋮ The inevitability of inconsistent abstract spaces
This page was built for publication:
