CS 576
Spring 2024 All Classes
All Classes
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
|
12:30PM
-1:45PM
|
TR
|
1214 Siebel Center for Comp Sci
|
Ringer, T
|
|