CS 576

spring 2005

All Classes

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.

Status Icon Legend

: Section Status Closed
: Section Status Open
: Section Status Pending
: Section Status Open (Restricted)
: Section Status Unknown

Section Status updates every 10 minutes.

- CS 101
- CS 105
- CS 125
- CS 173
- CS 196
- CS 210
- CS 225
- CS 231
- CS 232
- CS 257
- CS 273
- CS 296
- CS 397
- CS 400
- CS 411
- CS 413
- CS 418
- CS 419
- CS 420
- CS 421
- CS 423
- CS 424
- CS 425
- CS 426
- CS 428
- CS 429
- CS 431
- CS 433
- CS 435
- CS 438
- CS 440
- CS 446
- CS 450
- CS 455
- CS 462
- CS 473
- CS 476
- CS 477
- CS 493
- CS 494
- CS 498
- CS 499
- CS 511
- CS 512
- CS 522
- CS 533
- CS 548
- CS 576
- CS 579
- CS 591
- CS 597
- CS 598
- CS 599

Detail	Status		CRN	Type	Section	Time	Day	Location	Instructor