01616nam 22004093 450 99667866990331620251001080513.03-032-06085-0(CKB)41082241400041(MiAaPQ)EBC32321600(Au-PeEL)EBL32321600(OCoLC)1543209518(EXLCZ)994108224140004120251001d2025 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAutomated Reasoning with Analytic Tableaux and Related Methods 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings1st ed.Cham :Springer,2025.©2026.1 online resource (968 pages)Lecture Notes in Computer Science Series ;v.159803-032-06084-2 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.Lecture Notes in Computer Science SeriesPozzato Gian Luca1849991Uustalu Tarmo1754880MiAaPQMiAaPQMiAaPQBOOK996678669903316Automated Reasoning with Analytic Tableaux and Related Methods4442739UNISA