刍议“and”的形式逻辑及其翻译策略——以海事英语文本为例The Formal Logic of “and” and Its Translation Strategies—A Case Study of Maritime English Texts
周 娜, 程 昕 下载量: 848 浏览量: 1,362 科研立项经费支持
现代语言学 Vol.7 No.4, August 23 2019, PDF, HTML, XML DOI:10.12677/ML.2019.74081 被引量
论现代建筑的形式逻辑:理性原则的递归Formal Logic in Modern Architecture: Recursion of Rational Principles
成雨潼 下载量: 141 浏览量: 342
艺术研究快报 Vol.13 No.2, May 27 2024, PDF, HTML, XML DOI:10.12677/arl.2024.132013 被引量
分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 881 浏览量: 2,691
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
六元语言真值模态命题逻辑及其归结自动推理研究6-Element Linguistic Truth-Valued Modal Proposition Logic and Resolution Automated Reasoning
王诗慧, 王艳芳, 崔晓松 下载量: 339 浏览量: 492
计算机科学与应用 Vol.12 No.5, May 31 2022, PDF, HTML, XML DOI:10.12677/CSA.2022.125141 被引量
从布尔逻辑到模糊逻辑From Boolean Logic to Fuzzy Logic
甘天宇 下载量: 2,391 浏览量: 4,630
理论数学 Vol.6 No.2, March 29 2016, PDF, , XML DOI:10.12677/PM.2016.62016 被引量
形式三角矩阵环上的PGF模PGF Modules over Formal Triangular Matrix Rings
薛淑娴, 杨 刚 下载量: 522 浏览量: 789 国家自然科学基金支持
理论数学 Vol.10 No.11, November 27 2020, PDF, , DOI:10.12677/PM.2020.1011130 被引量
形式语言学研究现状和发展趋势——第九届形式语言学国际研讨会会议综述The Current Research and Future Development of Formal Linguistics—A Review of the 9th International Conference on Formal Linguistics
马艳晓 下载量: 574 浏览量: 823
现代语言学 Vol.11 No.3, March 31 2023, PDF, HTML, XML DOI:10.12677/ML.2023.113169 被引量
论证体篇章结构的形式化描述Formal Description for the Argumentative Discourse Structure
钟茂生, 江超, 王琪 下载量: 1,717 浏览量: 2,766 国家自然科学基金支持
现代语言学 Vol.5 No.4, November 15 2017, PDF, , XML DOI:10.12677/ML.2017.54046 被引量
RISC-V微控制器形式化方法研究Research on Formal Verification Method of RISC-V Microcontroller
潘 越, 程子敬 下载量: 777 浏览量: 1,294
计算机科学与应用 Vol.10 No.6, June 18 2020, PDF, HTML, XML DOI:10.12677/CSA.2020.106129 被引量
形式三角矩阵环上的余挠三元组Cotorsion Triples over Formal Triangular Matrix Rings
曹家乐, 杨晓燕 下载量: 302 浏览量: 440 国家自然科学基金支持
理论数学 Vol.12 No.5, May 20 2022, PDF, , DOI:10.12677/PM.2022.125079 被引量