分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 893 浏览量: 2,740
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
乌托邦文学和反乌托邦文学叙事对比研究——以《乌托邦》和《美丽新世界》为例Comparative Study of Utopian and Dystopian Literature Narrative—Taking Utopia and Brave New World as Examples
覃显芬 下载量: 115 浏览量: 285
世界文学研究 Vol.12 No.2, April 28 2024, PDF, , DOI:10.12677/wls.2024.122016 被引量
进化逻辑:智能算法下网络思政载体的重组更新Evolutionary Logic: The Reorganization and Update of Network Ideological and Political Carrier Based on Intelligent Algorithm
朱逸涵 下载量: 219 浏览量: 2,809 科研立项经费支持
社会科学前沿 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
王婷婷 下载量: 214 浏览量: 436
哲学进展 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
刘巧云 下载量: 896 浏览量: 2,366 科研立项经费支持
理论数学 Vol.9 No.3, May 6 2019, PDF, HTML, XML DOI:10.12677/PM.2019.93036 被引量
数字赋能大学英语教学转型的内涵逻辑与实践路径The Connotation Logic and Practical Pathways of Digital Enabling College English Teaching Transformation
李 敏 下载量: 240 浏览量: 1,127 科研立项经费支持
创新教育研究 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
陈安慧 下载量: 348 浏览量: 535 科研立项经费支持
职业教育 Vol.11 No.4, July 11 2022, PDF, HTML, XML DOI:10.12677/VE.2022.114062 被引量
叙事理论视角下小说的翻译策略——以白先勇《游园惊梦》为例An Analysis of Novel’s Translation Strategies from the Perspective of Narrative Theory—A Case Study of Bai Xianyong’s Wandering in the Garden, Waking from a Dream
何 佳 下载量: 333 浏览量: 525
现代语言学 Vol.12 No.2, February 19 2024, PDF, HTML, XML DOI:10.12677/ML.2024.122095 被引量
智慧旅游视角下乡村旅游发展的理论逻辑与创新路径研究Research on the Theory, Logic and Innovation Path of Rural Tourism Development from the Perspective of Smart Tourism
夏振鹏 下载量: 293 浏览量: 599 科研立项经费支持
社会科学前沿 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
章 杰 下载量: 395 浏览量: 592 科研立项经费支持
体育科学进展 Vol.10 No.2, June 22 2022, PDF, HTML, XML DOI:10.12677/APS.2022.102029 被引量