Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods
Autor
Gian Luca Pozzato, Tarmo Uustalu
Matèria
Editor
Springer Nature
Data publicació
2026
Identificador
9783032060853
Col·lecció
Accés
https://link.springer.com/openurl?genre=book&isbn=978-3-032-06085-3