Back to Teaching Page

Automated Theorem Proving

You have to subscribe on Google Classroom (see the code on the schedule).


The seminar meetings are scheduled (since 11.04.2022 at UVT in room 045C) on Thursday, 18:00 - 19:30 with AIDC on odd weeks.
On Google Classroom you will upload your homework given at the seminars.
  1. Seminar 1
  2. Seminar 2
  3. Seminar 3
  4. Seminar 4
  5. Seminar 5
  6. Seminar 6
  7. Seminar 7


  1. Tudor Jebelean. Automatic Theorem Proving. Lecture Notes (online)
  2. Bruno Buchberger. Logic for Computer Science. Lecture Notes (online)
  3. Chin-Liang Chang, Richard Char-Tung Leel. Symbolic Logic and Mechanica Theorem Proving. Academic Preess, 1973.
  4. Jean Gallier. Logic for Computer Science. Foundations of Automatic Theorem Proving.