CENG581 AUTOMATED REASONING
| Course Code: | 5710581 |
| METU Credit (Theoretical-Laboratory hours/week): | 3(3-0) |
| ECTS Credit: | 8.0 |
| Department: | Computer Engineering |
| Language of Instruction: | English |
| Level of Study: | Graduate |
| Course Coordinator: | Prof.Dr. FERDA NUR ALPASLAN |
| Offered Semester: | Fall or Spring Semesters. |