Renate A. Schmidt, Cl�udia Nalon
Automated Reasoning with Analytic Tableaux and Related Methods
- Springer 2017
- Lecture Notes in Computer Science .
9783319669021
Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Programming Techniques; Software Engineering; Programming Languages, Compilers, Interpreters; Logics and Meanings of Programs