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...

Full description

Bibliographic Details

Format:	Online
Language:	English
Published:	Springer Nature 2025
Subjects:	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
Online Access:	ONIX_20251020T130859_9783032060853_10
Tags:	Add Tag No Tags, Be the first to tag this record!