Automated Reasoning with Analytic Tableaux and Related Methods

DOI10.1007/11554554zbMath1142.03314OpenAlexW2486590071MaRDI QIDQ5479266

Erik Rosenthal

Publication date: 7 July 2006

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11554554

zbMATH Keywords

formal mathematicsrigornature of proof

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35) Methodology of mathematics (00A35) Mathematics in general (00A05) General histories, source books (01A05)

This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods