scientific article
From MaRDI portal
Publication:2753605
zbMath0972.68519MaRDI QIDQ2753605
Joachim Posegga, Peter H. Schmitt
Publication date: 14 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Mechanization of proofs and logical operations (03B35) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Related Items
IeanCOP: lean connection-based theorem proving, An efficient relational deductive system for propositional non-classical logics
