scientific article; zbMATH DE number 3627135
From MaRDI portal
Publication:4189255
zbMath0404.03013MaRDI QIDQ4189255
Publication date: 1977
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (2)
A resolution framework for finitely-valued first-order logics ⋮ Resolution approximation of first-order logics
This page was built for publication: