Colleges › UIUC › Courses › CS › CS 576
UIUC · Spring 2027 · 2 credits

CS 576: Topics in Automated Deduction

All 3 sections are full as of 14 hours ago. Taught by E Gunter.

Watch CS 576 for an open seat Free

3 of 3 sections full. Easiest-graded first.
One email per opening · stop link in every email · never sold.
What the email looks like
ClassMaxxjust now
Seat open: CS 576 section A at UIUC
2 seats available as of 9:14am. Register → UIUC registration. Unsubscribe in one click.