scientific article; zbMATH DE number 3366544
From MaRDI portal
Publication:5639373
zbMath0231.68037MaRDI QIDQ5639373
Publication date: 1971
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 (3)
Maslov's inverse method and decidable classes ⋮ Extension of the inverse method to the predicate calculus with equality ⋮ Resolution calculus for the first order linear logic
This page was built for publication:
