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. |