命题逻辑中等价公式的证明方法探讨On the Proof Methods of Propositional Equivalences in Propositional Logic
杨恒云 下载量: 543 浏览量: 5,410 国家自然科学基金支持
创新教育研究 Vol.8 No.4, August 12 2020, PDF, HTML, XML DOI:10.12677/CES.2020.84071 被引量
利用“结构分析–形式统一法”求解数学题目Solving Mathematical Problems by Structural Analysis Method and Formal Unification Method
王耀革, 崔国忠, 郭从洲 下载量: 630 浏览量: 1,118 国家自然科学基金支持
理论数学 Vol.10 No.5, May 20 2020, PDF, HTML, XML DOI:10.12677/PM.2020.105064 被引量
基于柔性逻辑的词语相似度计算方法的改进The Improvement of the Computational Method of Words’ Similarity Based on Flexible Logic
刘城霞 下载量: 1,662 浏览量: 4,292 科研立项经费支持
计算机科学与应用 Vol.6 No.11, November 29 2016, PDF, , XML DOI:10.12677/CSA.2016.611090 被引量
基于交叉增益调制的集成全光可编程逻辑阵列研究Integrated All-Optical Programmable Logic Array Based on Cross Gain Modulation
张惟玥, 董文婵 下载量: 1,094 浏览量: 2,710 国家自然科学基金支持
无线通信 Vol.9 No.1, February 15 2019, PDF, HTML, XML DOI:10.12677/HJWC.2019.91003 被引量
萨特思想嬗变中的马克思主义“实践逻辑”Marxist “Practical Logic” in the Evolution of Sartre’s Thought
陈 璐 下载量: 360 浏览量: 598 科研立项经费支持
哲学进展 Vol.11 No.4, August 10 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.114108 被引量
银川市智慧治理的运作逻辑与优化策略Operation Logic and Optimization Strategy of Intelligent Governance in Yinchuan
马嘉莉 下载量: 257 浏览量: 355
社会科学前沿 Vol.12 No.5, May 12 2023, PDF, HTML, XML DOI:10.12677/ASS.2023.125289 被引量
论摊贩经济发展的资本逻辑及其价值On the Capital Logic and Its Value of theEconomic Development
傅远林 下载量: 342 浏览量: 484
哲学进展 Vol.11 No.6, December 8 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.116292 被引量
资本逻辑的“反生态性”及其生态文明道路选择The “Anti Ecology” of Capital Logic and the Choice of the Road to Ecological Civilization
杨宇轩 下载量: 405 浏览量: 569
哲学进展 Vol.11 No.6, December 8 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.116275 被引量
正式体动宾式带宾语现象与句法分析The Phenomenon and Syntactic Analysis of Formal Verb-Abject Tense with Object
吴睿瑄 下载量: 515 浏览量: 796
现代语言学 Vol.10 No.6, June 30 2022, PDF, HTML, XML DOI:10.12677/ML.2022.106187 被引量
用分子信标作为粘贴串的DNA计算模型的逻辑门Using Molecular Beacons as Paste Series Computing Model of a Logic Gate
唐静静, 单静怡 下载量: 3,219 浏览量: 16,755 国家自然科学基金支持
应用数学进展 Vol.3 No.1, February 14 2014, PDF, , DOI:10.12677/AAM.2014.31005 被引量