scientific article
From MaRDI portal
zbMath0742.68001MaRDI QIDQ3998281
Publication date: 17 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Generic induction proofs, A calculus for conditional inductive theorem proving, An order-sorted resolution in theory and practice, A completeness proof for a regular predicate logic with undefined truth value