分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 897 浏览量: 2,751
软件工程与应用 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
朱逸涵 下载量: 224 浏览量: 2,816 科研立项经费支持
社会科学前沿 Vol.12 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.125372 被引量
数理逻辑论证形式有效性算法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,131 科研立项经费支持
创新教育研究 Vol.11 No.6, June 30 2023, PDF, HTML, XML DOI:10.12677/CES.2023.116241 被引量
一类特殊结构对称矩阵三元组(M、C、K)的逆二次特征问题On the Quadratic Inverse Eigen-Problem for the Special Triple (M, C, K) of Symmetric Matrix
黄贤通, 严深海 下载量: 3,909 浏览量: 11,739 科研立项经费支持
应用数学进展 Vol.1 No.1, August 23 2012, PDF, , DOI:10.12677/AAM.2012.11003 被引量
基于交通强国战略的高职院校交通服务专业群组建逻辑探讨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
陈安慧 下载量: 350 浏览量: 552 科研立项经费支持
职业教育 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 浏览量: 604 科研立项经费支持
社会科学前沿 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
章 杰 下载量: 399 浏览量: 598 科研立项经费支持
体育科学进展 Vol.10 No.2, June 22 2022, PDF, HTML, XML DOI:10.12677/APS.2022.102029 被引量
积极心理学视角下学生学习动机的生成逻辑与培养策略研究Research on the Generative Logic and Cultivation Strategy of Students’ Learning Motivation from the Perspective of Positive Psychology
侯永丽 下载量: 406 浏览量: 1,361
心理学进展 Vol.13 No.11, November 28 2023, PDF, HTML, XML DOI:10.12677/AP.2023.1311700 被引量
林奇综合征合并异时性三重癌1例报道并文献复习A Case Report of Lynch Syndrome Complicated with Heterochronous Triple Carcinoma and Literature Review
刘 鹏, 刘鹏飞 下载量: 140 浏览量: 187
临床医学进展 Vol.14 No.4, April 7 2024, PDF, HTML, XML DOI:10.12677/acm.2024.1441002 被引量