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.
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:
