scientific article
From MaRDI portal
Publication:3485886
zbMath0705.68092MaRDI QIDQ3485886
Zbigniew Stachniak, Peter W. O'Hearn
Publication date: 1990
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)
A resolution framework for finitely-valued first-order logics ⋮ Resolution approximation of first-order logics ⋮ An essay on resolution logics
This page was built for publication: