en | de

Computational Logic

master program

VO2  WS 2015/2016  703607

Lecturer

room consultation hours
VO Aart Middeldorp 3M07 Monday12:00 – 13:30

Time & Place

VO Wednesday12:15 – 14:00 3W04

Language

The course is taught in English.

Literature

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