Welcome to IOU Digital Library

A conference proceedings volume collecting peer-reviewed papers from the 20th International TABLEAUX conference covering analytic tableaux and related methods for automated reasoning. The book presents advances in logical proof systems, decision procedures, applications in verification, and theoretical developments in tableaux-based logic — serving

no reviews

245: $a: Automated Reasoning with Analytic Tableaux and Related Methods - TABLEAUX 2011 (Lecture Notes in Artificial Intelligence, 6793)
245: $b:
082: $a:
100: $a: Kai Brünnler & George Metcalfe
650: $a: Automated reasoning
250: $a:
440: $v:
250: $b: Springer (Springer‑Verlag Berlin Heidelberg)
250: $c: 2011
020: $a: 978-3-642-22118-7
300: $a: 402