首页 | 期刊导航 | 学习空间 | 退出

期刊文章列表

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

帮助 | 繁體中文 | 关于发现 | 联系我们

超星发现系统 Copyright©·powered by 超星

客服电话:4008236966