View schedules for
|
|
|
 |
CS 576
Topics in Automated Deduction
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 Information
| CRN | Type | Section | Time | Days | Location | Instructor |
| 31622 | lecture- discussion | N | 12:30 PM - 01:45 PM | TR | room 1214
Siebel Center for Comp Sci | Gunter, E |
4 hours
|
| |
