Personal tools
  •  

Automated Reasoning

17/11/2017 07:46:26, theon, Refresh, Feedback

Course Details

TitleAutomated Reasoning
School AcronymAR
Level9
Points10
Normal Year Taken3
Delivery PeriodS1
School Course Pagehttp://www.inf.ed.ac.uk/teaching/courses/ar
University Course PageINFR09042

Staff and Groups

The following staff are associated with this course. Please use the authenticated links below to access full group membership information, including group times, venue information and mailing lists:
Tutorial Groups

Course Lecturer(s)
NameEmailOfficePhone
J Fleuriot jdf@staffmail.ed.ac.uk IF-2.15 509342
Teaching Support
Demonstrator I Morris
Marker I Morris
Teaching Assistant I Morris
Tutor J Fleuriot
Admin Support
Please use the ISS Contact Form to contact admin support
NONE ALLOCATED