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

Descripció completa

Dades bibliogràfiques

Format:	Online
Idioma:	anglès
Publicat:	Springer Nature 2025
Matèries:	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
Accés en línia:	ONIX_20251020T130859_9783032060853_10
Etiquetes:	Afegir etiqueta Sense etiquetes, Sigues el primer a etiquetar aquest registre!