scientific article
From MaRDI portal
Publication:3811747
zbMath0661.68091MaRDI QIDQ3811747
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Horn clausesNP-completeConsistencyrule-based expert systemsmany-sorted first order theories with equality
Related Items (1)
This page was built for publication:
