max planck institut
mpii logo Minerva of the Max Planck Society

Lecture "Automated Reasoning" - Literature

Reformatted slides

[Most recent version of these lecture notes: Course material Winter 2017/2018.]

Slides of talk from first lecture


Course material from other lectures

Propositional logic, first-order logic, tableaux calculi

Termination, well-founded orderings, confluence, unification

Further readings