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