Skip to main navigation
Skip to search
Skip to main content
Eindhoven University of Technology research portal Home
Help & FAQ
English
Nederlands
Home
Researchers
Research output
Organisational Units
Activities
Projects
Prizes
Press / Media
Facilities / Equipment
Datasets
Courses
Research areas
Student theses
Search by expertise, name or affiliation
Proving with computer assistance
Mathematics and Computer Science
Course
Description
Please use the e-mail address H.Geuvers@cs.ru.nl.
Course period
1/09/15
→ …
Course format
Course