CS 576
Spring 2012 Part of Term 1
Part of Term 1
Jan 17-May 2
Jan 17-May 2
Credit: 2 TO 4 hours.
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.
May be repeated in separate terms. Prerequisite: As specified for each topic offering, see Schedule or departmental course description.
Section Status updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
31622
|
Lecture-Discussion
|
N
|
9:30AM
-10:45AM
|
TR
|
Siebel Center for Comp Sci
|
Gunter, E
|
|