分离逻辑断言的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 被引量
新高考语文文言文试题分析及教学建议——以2020~2022年新高考II卷为例Analysis of New Senior Secondary Chinese Language Examination Questions and Teaching Suggestions—Taking the 2020~2022 New College Entrance Examination II as an Example
何 铭 下载量: 382 浏览量: 856
教育进展 Vol.13 No.8, August 15 2023, PDF, HTML, XML DOI:10.12677/AE.2023.138864 被引量
生态语言学视域下英语专业大学生写作生态课堂建构研究A Research on the Construction of Ecological Classroom for English Majors’ for Writing from the Perspective of Ecolinguistics
申雪婷 下载量: 205 浏览量: 341
创新教育研究 Vol.11 No.11, November 9 2023, PDF, HTML, XML DOI:10.12677/CES.2023.1111494 被引量
来华留学研究生专业学习的困境与突破—学术语言视角下的反思与建构Dilemma and Breakthrough of International Graduates’ Professional Study in China—Reflection and Construction from Academic Language Perspective
王绽蕊, 李萌萌, 廉 萌 下载量: 1,252 浏览量: 3,298
教育进展 Vol.8 No.6, November 26 2018, PDF, HTML, XML DOI:10.12677/AE.2018.86109 被引量
劳动教育的价值意蕴The Value Implications of Labor Education
鲍炜文, 何成雨, 李 城 下载量: 351 浏览量: 3,055
教育进展 Vol.13 No.6, June 8 2023, PDF, HTML, XML DOI:10.12677/AE.2023.136522 被引量
内容与语言融合的专用学术英语教学改革与实践Teaching Reform and Practice of English for Specific Academic Purposes Using Content and Language Integrated Approach
孙由之 下载量: 346 浏览量: 435 科研立项经费支持
教育进展 Vol.13 No.6, June 26 2023, PDF, HTML, XML DOI:10.12677/AE.2023.136631 被引量
融入思政元素的Java语言与编程教学探索Teaching Exploration of Java Language and Programming by Integrating Ideological and Political Elements
薛 海, 王 倩, 张 艳, 赵逢禹 下载量: 559 浏览量: 806 科研立项经费支持
教育进展 Vol.13 No.10, October 23 2023, PDF, HTML, XML DOI:10.12677/AE.2023.13101217 被引量
汉语方言背景下海外华裔学生习得汉语语法偏误研究的现状与思考Present Situation and Thinking on Acquisition of Chinese Grammatical Bias by Overseas Chinese Students Which Is under Background of Chinese Dialect
李芯梦 下载量: 450 浏览量: 707
教育进展 Vol.13 No.5, May 31 2023, PDF, HTML, XML DOI:10.12677/AE.2023.135483 被引量
基于对偶犹豫模糊语言变量的在线课堂学生需求分析Analysis of Students’ Requirements in Online Classroom Based on Dual Hesitation Fuzzy Language Variables
程紫薇, 徐向阳, 王斌斌 下载量: 786 浏览量: 1,128 科研立项经费支持
应用数学进展 Vol.9 No.7, July 10 2020, PDF, HTML, XML DOI:10.12677/AAM.2020.97119 被引量
核心素养背景下初中生英语语言能力的培养策略探析Exploration and Analysis of the Cultivation Strategies of Junior Middle School Students’ English Language Competence under the Background of English Core Literacy
李艾玲 下载量: 321 浏览量: 1,277
教育进展 Vol.13 No.4, April 17 2023, PDF, HTML, XML DOI:10.12677/AE.2023.134284 被引量