LEADER 01616nam  22004093  450 
001 996678669903316
005 20251001080513.0
010   $a3-032-06085-0
035   $a(CKB)41082241400041
035   $a(MiAaPQ)EBC32321600
035   $a(Au-PeEL)EBL32321600
035   $a(OCoLC)1543209518
035   $a(EXLCZ)9941082241400041
100   $a20251001d2025      uy         0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aAutomated Reasoning with Analytic Tableaux and Related Methods $e34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, Proceedings
205   $a1st ed.
210  1$aCham :$cSpringer,$d2025.
210  4$dİ2026.
215   $a1 online resource (968 pages)
225 1 $aLecture Notes in Computer Science Series ;$vv.15980
311 08$a3-032-06084-2 
330   $aThis 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.
410  0$aLecture Notes in Computer Science Series
700   $aPozzato$b Gian Luca$01849991
701   $aUustalu$b Tarmo$01754880
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996678669903316
996   $aAutomated Reasoning with Analytic Tableaux and Related Methods$94442739
997   $aUNISA