en | de

Automated Theorem Proving

master program

VO2 + PS1  SS 2017  703608 + 703609


The following topics will be discussed in the course:

Automated Theorem Provers (including Equality) for First-Order Logic
Resolution and Paramodulation
Application of Automated Theorem Provers for First-Order Logic

Lecture Notes

Lecture Notes (4th edition, double-sided)    pdf   

Additional Material

Further Reading