详情

基于Magic Sets的并行时序推理方法与实现

申报人:赵楷越 申报日期:2023-10-11

基本情况

第二十八期“上海交通大学大学生创新实践计划”
基于Magic Sets的并行时序推理方法与实现 盲选
创新训练项目
工学
计算机类
导师科研
创新类
2023-10
2025-03
校级
部分项目详细信息请在登录系统之后查看。
结束