分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 906 浏览量: 2,765
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
数学文化融入初中数学教学的策略研究——以人教版《一元一次方程》为例Research on the Strategy of Integrating Mathematics Culture into Junior Middle School Mathematics Teaching—Taking the Human Education Edition “Linear Equation in One Unknown” as an Example
张艳阳, 姜泽睿 下载量: 19 浏览量: 54
创新教育研究 Vol.12 No.7, July 11 2024, PDF, , XML DOI:10.12677/ces.2024.127428 被引量
近年来学习策略的研究进展综述The Research Progress of Learning Strategies in Recent Years
路 立, 刘电芝 下载量: 3,025 浏览量: 7,529
心理学进展 Vol.5 No.3, March 30 2015, PDF, , XML DOI:10.12677/AP.2015.53026 被引量
《奇葩说•第七季》修辞策略与言语幽默研究Research on Rhetorical Strategy and Verbal Humor in The Seventh Season of QI PA SHUO
汪晓荷 下载量: 445 浏览量: 3,750
现代语言学 Vol.11 No.6, June 30 2023, PDF, HTML, XML DOI:10.12677/ML.2023.116366 被引量
新文科背景下高等数学课程教学策略探究Exploration of Teaching Strategies for the Advanced Mathematics in the Context of New Liberal Arts
黄守德 下载量: 364 浏览量: 447
教育进展 Vol.13 No.8, August 25 2023, PDF, HTML, XML DOI:10.12677/AE.2023.138954 被引量
Python语言在企业战略管理课程教学中的应用研究The Application of Python Language in the Reform of Enterprise Strategic Management Course Teaching
陈永栓 下载量: 264 浏览量: 417
创新教育研究 Vol.11 No.6, June 15 2023, PDF, HTML, XML DOI:10.12677/CES.2023.116211 被引量
基于波特竞争战略矩阵的企业竞争战略选择方法A Method for Selecting Enterprise Competitive Strategy Based on Porter’s Competitive Strategy Matrix
刘凯宁, 韩 晴 下载量: 499 浏览量: 1,563 国家社会科学基金支持
商业全球化 Vol.11 No.3, July 26 2023, PDF, HTML, XML DOI:10.12677/BGlo.2023.113007 被引量
地方农业院校食品科学与工程专业学生学习策略特征分析——以内蒙古农业大学为例Analysis of Learning Strategies of Food Science and Engineering Students in Local Agricultural University—Taking Inner Mongolia Agricultural University as an Example
满都拉, 张保军, 陈忠军, 孙子羽 下载量: 323 浏览量: 2,267 科研立项经费支持
创新教育研究 Vol.11 No.3, March 9 2023, PDF, HTML, XML DOI:10.12677/CES.2023.113069 被引量
地下水除氟的净化技术研究现状Research Status of Purification Technology for Fluoride Removal from Groundwater
熊 略, 黄 凯 下载量: 1,028 浏览量: 2,119 科研立项经费支持
可持续发展 Vol.9 No.1, December 27 2018, PDF, HTML, XML DOI:10.12677/SD.2019.91004 被引量
新课程基本理念下小学语文教学策略研究——以三下《鹿角和鹿腿》为例Research on Teaching Strategies of Primary School Language under the Basic Concept of the New Curriculum—The Antlers and the Legs of the Deer in the Third Period as an Example
段学宇 下载量: 24 浏览量: 62
教育进展 Vol.14 No.6, June 27 2024, PDF, , XML DOI:10.12677/ae.2024.1461001 被引量