CS_336/CS_M36 (second part) Interactive Theorem proving

Lent Term 2005

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

Slides, Handouts

Other Course Material

Links


Replace '_dot_' by '.' and '_at_' by '@' in 'a_dot_g_dot_setzer_at_swan_dot_ac_dot_uk'
Last modified: Tue May 2 23:02:43 BST 2006