CS 576
Spring 2005 Part of Term 1
Part of Term 1
Jan 18-May 4
Jan 18-May 4
Credit: 2 TO 4 hours.
(C S 476) Advanced topics in computer-aided methods for formal deduction, selected from areas of current research, such as: resolution theorem proving strategies, special relations, equational reasoning, unification theory, rewrite systems, mathematical induction, program derivation, hybrid inference systems, and programming with logic.
Prerequisite: Consent of instructor.
Section Status updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
31622
|
Lecture-Discussion
|
N
|
12:30PM
-1:45PM
|
TR
|
Siebel Center for Comp Sci
|
Gunter, E
|
|