Afficher la notice abrégée

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-10-21T05:23:26Z
dc.date.available2025-10-21T05:23:26Z
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://directory.doabooks.org/handle/20.500.12854/168407
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


Fichier(s) constituant ce document

FichiersTailleFormatVue

Il n'y a pas de fichiers associés à ce document.

Ce document figure dans la(les) collection(s) suivante(s)

Afficher la notice abrégée

open access
Excepté là où spécifié autrement, la license de ce document est décrite en tant que open access