Computer Laboratory

Course material 2009–10

Automated Reasoning
2009–10

Principal lecturer: Dr Mateja Jamnik
Taken by: MPhil ACS