Computing and Software 734
Formalized Mathematics
Winter 2008
Instructor:
William M. Farmer
Course Outline
(2-JAN-2008)
Questionnaire
Exercises
Slides
Presentations
References
(21-DEC-2007)