分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 903 浏览量: 2,762
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
进化逻辑:智能算法下网络思政载体的重组更新Evolutionary Logic: The Reorganization and Update of Network Ideological and Political Carrier Based on Intelligent Algorithm
朱逸涵 下载量: 225 浏览量: 2,817 科研立项经费支持
社会科学前沿 Vol.12 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.125372 被引量
马克思科技创新理论的三重逻辑及当代价值The Triple Logic and Contemporary Value of Marx’s Theory of Scientific and Technological Innovation
王婷婷 下载量: 217 浏览量: 443
哲学进展 Vol.13 No.1, January 11 2024, PDF, HTML, XML DOI:10.12677/ACPP.2024.131015 被引量
数理逻辑论证形式有效性算法The Algorithms about Validity of Argument Form in Logic Mathematician
刘巧云 下载量: 902 浏览量: 2,372 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量
基于TOF距离传感器的疫情防控距离控制器Distance Controller for Epidemic Prevention and Control Based on TOF Distance Sensor
柯思悦, 刘思龙, 刘 佳 下载量: 468 浏览量: 2,494
计算机科学与应用 Vol.12 No.1, January 24 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.121009 被引量
如何有效提高管制员特情处置能力How to Effectively Improve the Controller’s Special Handling Ability
朱友志, 龚 玺 下载量: 433 浏览量: 1,260
职业教育 Vol.11 No.3, May 16 2022, PDF, HTML, XML DOI:10.12677/VE.2022.113045 被引量
数字赋能大学英语教学转型的内涵逻辑与实践路径The Connotation Logic and Practical Pathways of Digital Enabling College English Teaching Transformation
李 敏 下载量: 241 浏览量: 1,136 科研立项经费支持
创新教育研究 Vol.11 No.6, June 30 2023, PDF, HTML, XML DOI:10.12677/CES.2023.116241 被引量
基于交通强国战略的高职院校交通服务专业群组建逻辑探讨Discussion on the Logic of Establishing Major Cluster of Transportation Services in Higher Vocational Colleges Based on the Strategy of Building a Country with Strong Transportation Network
陈安慧 下载量: 359 浏览量: 561 科研立项经费支持
职业教育 Vol.11 No.4, July 11 2022, PDF, HTML, XML DOI:10.12677/VE.2022.114062 被引量
智慧旅游视角下乡村旅游发展的理论逻辑与创新路径研究Research on the Theory, Logic and Innovation Path of Rural Tourism Development from the Perspective of Smart Tourism
夏振鹏 下载量: 297 浏览量: 606 科研立项经费支持
社会科学前沿 Vol.12 No.12, December 5 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.1212936 被引量
高校体育课程思政建设的内在逻辑、现实困境与优化路径研究Research on the Internal Logic, Practical Dilemma and Optimization Path of Ideological and Political Construction of College Sports Curriculum
章 杰 下载量: 406 浏览量: 605 科研立项经费支持
体育科学进展 Vol.10 No.2, June 22 2022, PDF, HTML, XML DOI:10.12677/APS.2022.102029 被引量