Automated Reasoning with Analytic Tableaux and Related Methods
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 selec...
Sábháilte in:
| Formáid: | Online |
|---|---|
| Teanga: | Béarla |
| Foilsithe / Cruthaithe: |
Springer Nature
2025
|
| Ábhair: | |
| Rochtain ar líne: | ONIX_20251020T130859_9783032060853_10 |
| Clibeanna: |
Níl clibeanna ann, Bí ar an gcéad duine le clib a chur leis an taifead seo!
|
| _version_ | 1869521149868638208 |
|---|---|
| collection | Directory of Open Access Books |
| description | 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. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. |
| format | Online |
| id | doab-20.500.12854ir-168407 |
| institution | Directory of Open Access Books |
| language | eng |
| publishDate | 2025 |
| publishDateRange | 2025 |
| publishDateSort | 2025 |
| publisher | Springer Nature |
| publisherStr | Springer Nature |
| record_format | ojs |
| spelling | doab-20.500.12854ir-1684072025-10-21T05:23:28Z Automated Reasoning with Analytic Tableaux and Related Methods Pozzato, Gian Luca Uustalu, Tarmo Open Access tableaux tableaux calculus sequent calculus proof theory theorem proving proof assistant natural deduction formalized proof decision procedures automated deduction SMT thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UK Computer hardware 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. They were organized in topical sections as follows: Classical and multi-valued logic, theorem proving; modal and tense logic; and intuitionistic and substructural logic. 2025-10-21T05:23:26Z 2025-10-21T05:23:26Z 2025-10-20T11:12:27Z 2026 book ONIX_20251020T130859_9783032060853_10 https://library.oapen.org/handle/20.500.12657/107643 9783032060853 9783032060846 https://directory.doabooks.org/handle/20.500.12854/168407 eng Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence; Computer Science; Computer Science (R0) open access image/jpeg n/a https://library.oapen.org/bitstream/20.500.12657/107643/1/9783032060853.pdf Springer Nature Springer 10.1007/978-3-032-06085-3 10.1007/978-3-032-06085-3 9fa3421d-f917-4153-b9ab-fc337c396b5a 9783032060853 9783032060846 Springer 492 Cham open access |
| spellingShingle | Open Access tableaux tableaux calculus sequent calculus proof theory theorem proving proof assistant natural deduction formalized proof decision procedures automated deduction SMT thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UK Computer hardware Automated Reasoning with Analytic Tableaux and Related Methods |
| title | Automated Reasoning with Analytic Tableaux and Related Methods |
| title_full | Automated Reasoning with Analytic Tableaux and Related Methods |
| title_fullStr | Automated Reasoning with Analytic Tableaux and Related Methods |
| title_full_unstemmed | Automated Reasoning with Analytic Tableaux and Related Methods |
| title_short | Automated Reasoning with Analytic Tableaux and Related Methods |
| title_sort | automated reasoning with analytic tableaux and related methods |
| topic | Open Access tableaux tableaux calculus sequent calculus proof theory theorem proving proof assistant natural deduction formalized proof decision procedures automated deduction SMT thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UK Computer hardware |
| topic_facet | Open Access tableaux tableaux calculus sequent calculus proof theory theorem proving proof assistant natural deduction formalized proof decision procedures automated deduction SMT thema EDItEUR::U Computing and Information Technology::UY Computer science::UYQ Artificial intelligence thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::U Computing and Information Technology::UM Computer programming / software engineering::UMZ Software Engineering thema EDItEUR::U Computing and Information Technology::UY Computer science::UYD Systems analysis and design thema EDItEUR::U Computing and Information Technology::UK Computer hardware |
| url | ONIX_20251020T130859_9783032060853_10 |