scientific article
From MaRDI portal
Publication:3880316
zbMath0438.68047MaRDI QIDQ3880316
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
TPS: A theorem-proving system for classical type theory, On connections and higher-order logic, Hintikka multiplicities in matrix decision methods for some propositional modal logics, Knowledge-based proof planning, Presenting machine-found proofs, Reconstructing proofs at the assertion level, Human-centered automated proof search, A uniform procedure for converting matrix proofs into sequent-style systems