print · source · login   

Automated Reasoning

Course ID
NWI-IMC009
Credits
6 ec

See study guide. If you want to follow this course in the fall of 2016, please send an email to the lecturer h.zantema@tue.nl, in order to arrange the first meeting.