scientific article; zbMATH DE number 1748575

zbMath0997.03009MaRDI QIDQ4530460

Elmar Eder

Publication date: 13 November 2002

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

automated theorem provingcut-free proofslength of proofs

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)

Related Items

From Schütte’s Formal Systems to Modern Automated Deduction