Automated Reasoning with Analytic Tableaux and Related Methods [electronic resource] : 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27–29, 2025, Proceedings / edited by Gian Luca Pozzato, Tarmo Uustalu.
Вид матеріалу:
Текст Серія: Lecture Notes in Artificial Intelligence ; 15980Публікація: Cham : Springer Nature Switzerland : Imprint: Springer, 2026Видання: 1st ed. 2026Опис: XVII, 492 p. 140 illus., 10 illus. in color. online resourceТип вмісту: - text
- computer
- online resource
- 9783032060853
- Artificial intelligence
- Machine theory
- Computer science
- Software engineering
- Computer systems
- Microprogramming
- Artificial Intelligence
- Formal Languages and Automata Theory
- Computer Science Logic and Foundations of Programming
- Software Engineering
- Computer System Implementation
- Control Structures and Microprogramming
- 006.3 23
- Q334-342
- TA347.A78
Open Access
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. .
Accessibility 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.
No reading system accessibility options actively disabled
Publisher contact for further accessibility information: accessibilitysupport@springernature.com
Немає коментарів для цієї одиниці.