CS 502 Automated Reasoning
Not in the Spring 2026-2027 schedule — this is the most recent term it ran.
Lecture — CS 502
| Section | When | Where | Instructor | CRN | |
|---|---|---|---|---|---|
| 0 | Mon 16:40–17:30 Tue 14:40–16:30 |
— | Esra Erdem | 10768 | syllabus |
CS 502 — Sabancı Üniversitesi Fall 2020-2021 ders programı: section'lar, saatler, derslikler, CRN'ler ve syllabus bağlantıları.