max planck institut
informatik
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning", SS12 - Literature

Reformatted slides


Dictionary


Course material from other lectures


Propositional logic, first-order logic, tableaux calculi


Termination, well-founded orderings, confluence, unification


Further readings