首页
|
期刊导航
|
学习空间
|
退出
期刊文章列表
陈厅
1,2
,吴国政
1
,刘哲
3
,蒲戈光
4
,赵瑞珍
1
,刘克
1
(国家自然科学基金委员会信息科学部;电子科技大学计算机科学与工程学院(网络空间安全学院);南京航空航天大学计算机科学与技术学院;华东师范大学软件工程学院).
NSFC形式化方法领域基金项目申请资助情况分析
[J].前瞻科技,2023,第1期
苏青(中国青少年科技教育工作者协会).
后果前因环紧扣 逻辑推演命题宣——《数理逻辑引论》对读者阅读的意义
[J].前瞻科技,2023,第1期
首页
上一页
1
2
3
尾页
共有3页,转到
页