分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 908 浏览量: 2,767
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于语料的中英美三国新闻报道中的措辞分析:以China Daily,BBC,VOA与新冠肺炎病毒相关报道为例A Corpus-Based Analysis of the Diction in News of China, the UK and the USA: Taking the Reports on COVID-19 in China Daily, BBC and VOA as Examples
王续燃 下载量: 761 浏览量: 3,686
现代语言学 Vol.8 No.3, June 30 2020, PDF, HTML, XML DOI:10.12677/ML.2020.83061 被引量
电影《春潮》祖孙三代亲子依恋关系分析An Analysis of the Three Generations in Parent-Child Attachment Relationship of the Film Spring Tide
朱梓沛, 李 燕 下载量: 934 浏览量: 1,726
心理学进展 Vol.10 No.11, November 24 2020, PDF, HTML, XML DOI:10.12677/AP.2020.1011198 被引量
《吾国与吾民》黄嘉德中译本多维研究A Multidimensional Study on Huang Jiade’s Translation of My Country and My People
刘 洋 下载量: 863 浏览量: 1,751
现代语言学 Vol.8 No.6, December 15 2020, PDF, HTML, XML DOI:10.12677/ML.2020.86120 被引量
振臂于末世时代•扬清于享乐风潮——梅之焕诗文艺术及地域特色 Raise Arms in the Apocalyptic Era, Promoting Righteousness in the Hedonic Trend—The Artistic Features and the Regional Characteristics of Mei Zhihuan’s Poems and Articles
李耀威, 马卫方 下载量: 517 浏览量: 954 科研立项经费支持
国学 Vol.10 No.3, August 15 2022, PDF, HTML, XML DOI:10.12677/CnC.2022.103012 被引量
风险决策的影响因素Influencing Factors of Risk Decisions
黄燕玲 下载量: 306 浏览量: 770
心理学进展 Vol.12 No.9, September 27 2022, PDF, HTML, XML DOI:10.12677/AP.2022.129387 被引量
生态翻译学视角下的典籍翻译——以《资治通鉴》中的“礼”和“德”有关词语翻译为例Translation of Classics from the Perspective of Eco-Translatology—Taking the Translation of Words Related to “礼” and “德” in ZiZhi TongJian as an Example
赵小风, 关晓薇 下载量: 292 浏览量: 635
现代语言学 Vol.10 No.11, November 4 2022, PDF, HTML, XML DOI:10.12677/ML.2022.1011320 被引量
“三美论”视角下诗歌翻译探究——《蜀道难》两译本比较研究On Poem Translation from the Perspective of Three Beauties Theory—A Comparative Study of Two English Versions of Difficult Is the Way to Shu
庞 倩 下载量: 909 浏览量: 1,686
现代语言学 Vol.10 No.11, November 30 2022, PDF, HTML, XML DOI:10.12677/ML.2022.1011383 被引量
基于地域文化的品牌IP设计研究Research on Brand IP Design Based on Regional Culture
姜 楠, 张臻珩, 席雯静, 王 丽 下载量: 664 浏览量: 3,439 科研立项经费支持
设计 Vol.7 No.4, December 6 2022, PDF, HTML, XML DOI:10.12677/Design.2022.74017 被引量
近二十年来我国大学生亲密关系研究综述A Summary of the Research on the Intimate Relationship of Chinese University Students in the Past Twenty Years
张 远 下载量: 692 浏览量: 1,645
心理学进展 Vol.12 No.12, December 20 2022, PDF, HTML, XML DOI:10.12677/AP.2022.1212494 被引量