scientific article
From MaRDI portal
Publication:3965577
zbMath0499.68038MaRDI QIDQ3965577
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
connection graph resolution ruleinference system for clause graphsrefutation treesunrestricted deletion of tautologies
Related Items (1)
This page was built for publication:
