基于活性编码的EUF公式的判定过程A Decision Procedure of EUF Formulas Based on Eager Encoding
程梦奇, 雷斯然, 江建国 下载量: 691 浏览量: 1,037
软件工程与应用 Vol.9 No.1, February 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91006 被引量
马克思主义哲学视阈下的中国道路分析An Analysis of the Chinese Road from the Perspective of Marxist Philosophy
张紫凌 下载量: 321 浏览量: 554
哲学进展 Vol.11 No.4, August 22 2022, PDF, HTML, XML DOI:10.12677/ACPP.2022.114142 被引量
论程颐“性即理”思想On Cheng Yi’s Thought of “Xing Is Li”
邓秋怡, 刘正平 下载量: 491 浏览量: 741
哲学进展 Vol.12 No.1, January 6 2023, PDF, HTML, XML DOI:10.12677/ACPP.2023.121021 被引量
CPFS结构理论视域下的大单元教学策略研究Research on the Large Unit Teaching Strategy in the CPFS Structural Theory Domain
谢景力, 李 荣, 戴厚平 下载量: 260 浏览量: 451 科研立项经费支持
教育进展 Vol.13 No.4, April 24 2023, PDF, HTML, XML DOI:10.12677/AE.2023.134322 被引量
高考立体几何试题的特点及教学思考——基于2013~2022年计56套全国课标卷的分析The Characteristics and Teaching Thinking of the Solid Geometry Test Questions in the National College Entrance Examination—Based on the Analysis of 56 Sets of National Curriculum Standard Papers from 2013 to 2022
单 薇, 倪仁兴 下载量: 492 浏览量: 5,096 科研立项经费支持
教育进展 Vol.13 No.11, November 2 2023, PDF, HTML, XML DOI:10.12677/AE.2023.13111275 被引量
低速车辆在非结构化道路中的轨迹规划Trajectory Planning of Low-Speed Vehicles on Unstructured Roads
高浩文 下载量: 182 浏览量: 304
交通技术 Vol.13 No.1, January 24 2024, PDF, HTML, XML DOI:10.12677/OJTT.2024.131006 被引量
闭区间套定理的应用及其特点On the Nested Intervals Theorem and Its Applications
刘丹, 吴小腊, 方明亮 下载量: 425 浏览量: 821 国家自然科学基金支持
理论数学 Vol.12 No.4, April 21 2022, PDF, HTML, XML DOI:10.12677/PM.2022.124066 被引量
小议历史上艺术评价标准的核心问题The Core Problem of Evaluation Criterion of Art in History
裴磊, 吴诗中 下载量: 2,376 浏览量: 5,673
艺术研究快报 Vol.4 No.4, November 18 2015, PDF, , XML DOI:10.12677/ARL.2015.44010 被引量
评托马斯•阿奎那对上帝存在的五路证明Evaluation of Thomas Aquinas’ Five Ways to Prove the Existence of God
张莉 下载量: 4,209 浏览量: 12,148
哲学进展 Vol.4 No.4, December 29 2015, PDF, , XML DOI:10.12677/ACPP.2015.44012 被引量
论艺术的起源About the Origin of Art
周树荣 下载量: 2,090 浏览量: 5,166
艺术研究快报 Vol.6 No.2, June 28 2017, PDF, , XML DOI:10.12677/ARL.2017.62002 被引量