scientific article
From MaRDI portal
Publication:3357560
zbMath0731.68092MaRDI QIDQ3357560
Publication date: 1989
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
resolution calculusconnection methodcomparison of proof methods for automated theorem provingunifier set
Related Items (1)
This page was built for publication: