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

Lecture "Automated Reasoning" - Literature

Reformatted slides

Slides of talk from first lecture

Dictionary

Course material from other lectures

Propositional logic, first-order logic, tableaux calculi

Termination, well-founded orderings, confluence, unification

Further readings