2025年5月
31
星期六
urp20201101011
基于量子控制流的量子程序Floyd-Hoare逻辑研究
创新训练项目
中国农业大学
一年期
理学
数学类
2020-07-21
2021-11-19
姓名 专业班级 所在学院 项目中的分工 成员类型
夏若尘 第一主持人
丁一夫 成员
姓名 职称 指导教师类型
周雪影 第一指导教师