CPSC 629: Deductive Systems
Instructor: Carsten Schürmann
Department of Computer Science
Yale University
Time: TTh 4:00-5:15
Room: AKW 500
|
|
Home |
|
|
Schedule |
|
|
Handouts |
|
|
Assignments |
|
|
Projects |
|
|
Links |
Assignments
| Assignment 1, due: 9/21/2000, 4pm |
| Assignment 2, due: 10/5/2000, 4pm |
| Assignment 3, due: 10/17/2000, 4pm |
| Assignment 4, due: 11/7/2000, 4pm |