分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 896 浏览量: 2,749
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
作用学基本理论及其应用Basic Theory On The Acting Science And Its Application (预印本)
王昌益 下载量: 1,435 浏览量: 3,807
汉斯预印本 Vol.2 No.1, February 10 2017, PDF, , DOI:10.12677/HANSPrePrints.2017.21002 被引量
知识图谱在要素式智能审判系统中的嵌合原理和应用路径The Coupling Theory and Application Path of Knowledge Graph in the Elemental Intelligent Judicial System
卞 静, 邓丹云, 胡远平, 胡锦浩, 吕群蓉 下载量: 637 浏览量: 1,076
法学 Vol.9 No.3, May 27 2021, PDF, HTML, XML DOI:10.12677/OJLS.2021.93060 被引量
核心素养视阈下初中《道德与法治》课程教学素材的挖掘与运用——以八下《道德与法治》为例The Exploration and Application of Teaching Resources of Moral and Rule of Law Course in Junior High School from the Perspective of Core Literacy—Taking “Morality and the Rule of Law”, the Second Volume of the Eighth Grade, as an Example
刘佳燕 下载量: 54 浏览量: 95
创新教育研究 Vol.12 No.5, May 20 2024, PDF, HTML, XML DOI:10.12677/ces.2024.125318 被引量
暴力电子游戏对网络欺负的影响机制探索Exploration of the Impact Mechanism of Violent Electronic Games on Online Bullying
胡耀文 下载量: 209 浏览量: 326
社会科学前沿 Vol.13 No.2, February 29 2024, PDF, HTML, XML DOI:10.12677/ASS.2024.132173 被引量
中俄北极LNG2项目合作外媒报道的框架分析——以英、美、俄、日、挪威主流媒体为例The Framework Analysis of Foreign Media Reports on Sino-Russian Arctic LNG2 Project—Taking Mainstream Media of Britain, the United States, Russia, Japan and Norway as Examples
刘 倩, 宋冰冰 下载量: 721 浏览量: 1,341
社会科学前沿 Vol.9 No.10, October 26 2020, PDF, HTML, XML DOI:10.12677/ASS.2020.910223 被引量
综合法、分析法、反证法与数学归纳法在高等代数中的应用The Application of Synthesis, Analysis, Proof by Contradiction and Mathematical Induction in Advanced Algebra
郜 博, 谭希丽, 孙佩宇 下载量: 170 浏览量: 406 科研立项经费支持
教育进展 Vol.13 No.6, June 26 2023, PDF, HTML, XML DOI:10.12677/AE.2023.136629 被引量
“慎独”文化内涵与现实价值The Cultural Connotation and Realistic Value of “Shendu”
刘 菲 下载量: 254 浏览量: 514
哲学进展 Vol.12 No.9, September 1 2023, PDF, HTML, XML DOI:10.12677/ACPP.2023.129285 被引量
基于模糊PID控制的家居照明环境智能调节方法Intelligent Adjustment Method of Home Lighting Environment Based on Fuzzy PID Control
徐 劲, 孙 健, 孙 健, 李科岐 下载量: 67 浏览量: 149
传感器技术与应用 Vol.12 No.3, May 15 2024, PDF, HTML, XML DOI:10.12677/jsta.2024.123032 被引量
创业企业家选择投资者的博弈策略分析Game Strategy Analysis of Entrepreneur Choosing Investors
余小青 下载量: 911 浏览量: 1,456
金融 Vol.9 No.3, May 22 2019, PDF, HTML, XML DOI:10.12677/FIN.2019.93031 被引量