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