scientific article
From MaRDI portal
Publication:3809309
zbMath0659.68117MaRDI QIDQ3809309
Publication date: 1988
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
theorem provingKnuth-Bendix completionterm rewriting systemproof checkerGentzen's natural deduction system
Uses Software
This page was built for publication: