CS_336/CS_M36 (second part)/CS_M46 Interactive Theorem proving

Lent Term 2006

Lecturer

Dr. A. Setzer
Dept. of Computer Science
University of Wales Swansea
Singleton Park
Swansea
SA2 8PP,UK
Tel. (01792) 513368
Fax (01792) 295651

Timetable

Coursework

In order to reduce plagarism, coursework and solutions to coursework will not be made available on this website.

Slides, Handouts

Freely accessible version.

Other Course Material

Links


Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Last modified: Wed Mar 14 18:49:05 GMT 2007