scientific article; zbMATH DE number 2024619
From MaRDI portal
Publication:4443194
zbMath1037.03052MaRDI QIDQ4443194
Publication date: 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
History of mathematics in the 20th century (01A60) Mechanization of proofs and logical operations (03B35) Complexity of proofs (03F20)
Related Items (3)
Proof simplification and automated theorem proving ⋮ Larry Wos: visions of automated reasoning ⋮ Double-negation elimination in some propositional logics
Uses Software
This page was built for publication:
