搜索结果: 1-2 共查到“知识要闻 数理逻辑与数学基础”相关记录2条 . 查询时间(4.492 秒)
中国科学院软件研究所在逻辑约束求解领域多项比赛中取得佳绩
逻辑约束 求解领域 中国科学院软件研究所
font style='font-size:12px;'>
2023/4/13
![](http://www.firstlight.cn/upload/imgfile/20227/24/2022724111037308.png)
全球前十!国防科技大学这支队伍在国际赛事中再次斩获金奖(图)
国防科技大学 国际赛事 国际遗传工程机器设计大赛 金奖 iGEM竞赛 合成生物学
font style='font-size:12px;'>
2022/7/24