Show simple item record

Automated Reasoning with Analytic Tableaux and Related Methods

34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings

dc.contributor.editorPozzato, Gian Luca
dc.contributor.editorUustalu, Tarmo
dc.date.accessioned2025-11-30T16:41:11Z
dc.date.available2025-11-30T16:41:11Z
dc.date.issued2026
dc.date.submitted2025-10-20T11:12:27Z
dc.identifierONIX_20251020T130859_9783032060853_10
dc.identifierhttps://library.oapen.org/handle/20.500.12657/107643
dc.identifier.urihttps://doab-dev.siscern.org/handle/20.500.12854/207515
dc.description.abstractThis 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.
dc.languageEnglish
dc.relation.ispartofseriesLecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0)
dc.rightsopen access
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design
dc.subject.classificationthema EDItEUR::U Computing and Information Technology::UK Computer hardware
dc.subject.otherOpen Access
dc.subject.othertableaux
dc.subject.othertableaux calculus
dc.subject.othersequent calculus
dc.subject.otherproof theory
dc.subject.othertheorem proving
dc.subject.otherproof assistant
dc.subject.othernatural deduction
dc.subject.otherformalized proof
dc.subject.otherdecision procedures
dc.subject.otherautomated deduction
dc.subject.otherSMT
dc.titleAutomated Reasoning with Analytic Tableaux and Related Methods
dc.title.alternative34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings
dc.typebook
oapen.identifier.doi10.1007/978-3-032-06085-3
oapen.relation.isPublishedBy9fa3421d-f917-4153-b9ab-fc337c396b5a
oapen.relation.isbn9783032060853
oapen.relation.isbn9783032060846
oapen.imprintSpringer
oapen.pages492
oapen.place.publicationCham
dc.seriesnumber15980


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record

open access
Except where otherwise noted, this item's license is described as open access