Automated reasoning with analytic tableaux and related methods (e-book)
Olivetti, Nicola
Automated reasoning with analytic tableaux and related methods (e-book) - Berlin Springer 2007 - Lecture Notes in Computer Science (LNCS) v.4548 .
978-3-540-73099-6
Automated reasoning with analytic tableaux and related methods (e-book) - Berlin Springer 2007 - Lecture Notes in Computer Science (LNCS) v.4548 .
978-3-540-73099-6