000 04500nam a22007935i 4500
001 978-3-032-06085-3
003 DE-He213
005 20260304124457.0
007 cr nn 008mamaa
008 250928s2026 sz | s |||| 0|eng d
020 _a9783032060853
_9978-3-032-06085-3
024 7 _a10.1007/978-3-032-06085-3
_2doi
050 4 _aQ334-342
050 4 _aTA347.A78
072 7 _aUYQ
_2bicssc
072 7 _aCOM004000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
245 1 0 _aAutomated Reasoning with Analytic Tableaux and Related Methods
_h[electronic resource] :
_b34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings /
_cedited by Gian Luca Pozzato, Tarmo Uustalu.
250 _a1st ed. 2026.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2026.
300 _aXVII, 492 p. 140 illus., 10 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
341 0 _bPDF/UA-1
_2onix
341 0 _bTable of contents navigation
_2onix
341 0 _bSingle logical reading order
_2onix
341 0 _bShort alternative textual descriptions
_2onix
341 0 _bUse of color is not sole means of conveying information
_2onix
341 0 _bUse of high contrast between text and background color
_2onix
341 0 _bNext / Previous structural navigation
_2onix
341 0 _bAll non-decorative content supports reading without sight
_2onix
347 _atext file
_bPDF
_2rda
490 1 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v15980
506 0 _aOpen Access
520 _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. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. .
532 8 _aAccessibility summary: This PDF has been created in accordance with the PDF/UA-1 standard to enhance accessibility, including screen reader support, described non-text content (images, graphs), bookmarks for easy navigation, keyboard-friendly links and forms and searchable, selectable text. We recognize the importance of accessibility, and we welcome queries about accessibility for any of our products. If you have a question or an access need, please get in touch with us at accessibilitysupport@springernature.com. Please note that a more accessible version of this eBook is available as ePub.
532 8 _aNo reading system accessibility options actively disabled
532 8 _aPublisher contact for further accessibility information: accessibilitysupport@springernature.com
650 0 _aArtificial intelligence.
650 0 _aMachine theory.
650 0 _aComputer science.
650 0 _aSoftware engineering.
650 0 _aComputer systems.
650 0 _aMicroprogramming .
650 1 4 _aArtificial Intelligence.
650 2 4 _aFormal Languages and Automata Theory.
650 2 4 _aComputer Science Logic and Foundations of Programming.
650 2 4 _aSoftware Engineering.
650 2 4 _aComputer System Implementation.
650 2 4 _aControl Structures and Microprogramming.
700 1 _aPozzato, Gian Luca.
_eeditor.
_0(orcid)0000-0002-3952-4624
_1https://orcid.org/0000-0002-3952-4624
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_923769
700 1 _aUustalu, Tarmo.
_eeditor.
_0(orcid)0000-0002-1297-0579
_1https://orcid.org/0000-0002-1297-0579
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_923770
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783032060846
776 0 8 _iPrinted edition:
_z9783032060860
830 0 _aLecture Notes in Artificial Intelligence,
_x2945-9141 ;
_v15980
856 4 0 _uhttps://doi.org/10.1007/978-3-032-06085-3
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-SXPS
912 _aZDB-2-LNC
912 _aZDB-2-SOB
999 _c579860
_d579860