Publication:2753605

From MaRDI portal

Revision as of 15:24, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to:navigation, search

zbMath0972.68519MaRDI QIDQ2753605

Joachim Posegga, Peter H. Schmitt

Publication date: 14 November 2001

Mathematics Subject Classification ID

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2753605&oldid=15626463"