en | de

Automatisches Theorembeweisen

Masterstudium

VO2 + PS1  SS 2017  703608 + 703609

Description

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

Source