Spring 2024, 15653: Below is information about CMU Spring 2024 course 15653: Logic and Mechanized Reasoning. The course number is 15653 or 15-653. The course Logic and Mechanized Reasoning(15653) in spring 2024 has 12.0 unit. The professor Avigad, Heule is teaching the course Logic and Mechanized Reasoning(15653) in spring 2024. The professor/instructor of Logic and Mechanized Reasoning(15653) in spring 2024 is Avigad, Heule. The department of Logic and Mechanized Reasoning(15653) is Computer Science. The location of Logic and Mechanized Reasoning(15653) is Pittsburgh, Pennsylvania. The room of Logic and Mechanized Reasoning(15653) is NSH 1305. The course happens in MW, from 12:30PM to 01:50PM in spring 2024.
