Interactive Theorem Proving (CS_336, Academic Year 2003/04)

Lent Term 2004

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

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: Tue May 2 22:59:14 BST 2006