课程时间地点信息

课程时间地点信息

课程名称：自动推理的代数基础

2025—2026学年(春)第二学期：

上课时间 星期四： 第1、2、3节。
上课地点 学院208教室
上课周次 1、2、3、4、5、6、7、8
上课时间 星期二： 第1、2、3节。
上课地点 学院208教室
上课周次 1、2、3、4、5、6、7、8、9