Lehrender

		Raum	Sprechstunde
VO	Aart Middeldorp	3M07	Mittwoch	11:30 – 13:00

Zeit & Ort

VO

Mittwoch

12:15 – 14:00

3W04 (ICT-Gebäude, 2.Stock)

Sprache

The course is taught in English.

Literatur

The following book covers many of the topics discussed in the course:

• Melvin Fitting, First-Order Logic and Automated Theorem Proving (second edition), Springer, 1996, ISBN 978-1-4612-7515-2