Computer Laboratory > Teaching > Course material 2009–10 > Automated Reasoning

 

Automated Reasoning
2009–10

Principal lecturer: Dr Mateja Jamnik
Taken by: MPhil ACS