Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods Gian Luca Pozzato Primary Author Tarmo Uustalu Primary Author mixed material bibliography Cham Springer Nature 2026 en English 492 Halaman This open access book constitutes the proceedings of the 33rd International Conference on Automated Reasoning with AnalyticTableaux and Related Methods, TABLEAUX 2025, held in Reykjavik, Iceland, during September 27–29, 2025. The 25 full papers included in this book were carefully reviewed and selected from 47 sbumissions. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. Software Engineering 006.3 9783032060853 Perpustakaan UMA Online Public Access Catalog (OPAC) 006.3 Gia a Automated Reasoning with Analytic Tableaux and Related Methods Automated Reasoning with Analytic Tableaux and Related Methods 9783032060853.pdf.jpg.jpg 23704 2026-09-04 14:05:35 2026-09-04 14:05:35 machine generated