Automated reasoning with analytic tableaux and related methods (e-book)
Das, Anupam
Automated reasoning with analytic tableaux and related methods (e-book) - Berlin Springer 2021 - Lecture Notes in Computer Science (LNCS) v.12842 .
978-3-030-86059-2
Automated reasoning with analytic tableaux and related methods (e-book) - Berlin Springer 2021 - Lecture Notes in Computer Science (LNCS) v.12842 .
978-3-030-86059-2