论我国合作式诉讼模式下控辩协商的平等性On the Equality of Prosecution and Defense Negotiation under the Cooperative Litigation Mode in China
江雨婷 下载量: 158 浏览量: 225
法学 Vol.12 No.2, February 18 2024, PDF, HTML, XML DOI:10.12677/OJLS.2024.122121 被引量
基于Alloy的两个群定义的等价性验证Automated Verification of Equivalence of Two Group Definitions Based on Alloy
邹 科, 江建国, 徐 月, 张新钢 下载量: 1,498 浏览量: 5,723
应用数学进展 Vol.6 No.9, December 11 2017, PDF, HTML, XML DOI:10.12677/AAM.2017.69127 被引量
自我提升还是自我验证:产生条件及影响Self-Enhance or Self-Verification: The Conditions of Motivation and Effect
付彩红, 吕厚超 下载量: 4,227 浏览量: 14,248 科研立项经费支持
心理学进展 Vol.3 No.1, January 28 2013, PDF, , XML DOI:10.12677/AP.2013.31002 被引量
土石方测量误差公式推导及其有效性验证Derivation and Validity Verification of Earthwork Measurement Error Formula
拓万兵, 包玉斌, 王志有 下载量: 451 浏览量: 1,065 科研立项经费支持
测绘科学技术 Vol.10 No.4, September 21 2022, PDF, HTML, XML DOI:10.12677/GST.2022.104020 被引量
不安抗辩权与预期违约之比较研究The Comparative Study of Unsafe Right of Defense Systems and Anticipatory Breach of Contract
曾海峰 下载量: 1,153 浏览量: 3,115
争议解决 Vol.4 No.3, August 8 2018, PDF, HTML, XML DOI:10.12677/DS.2018.43003 被引量
对正当防卫时间条件的修正——以受虐妇女杀夫案为视角Amendment to the Time Conditions of Justifiable Defense—From the Perspective of the Murder of Battered Women
苑嘉辉, 孙承程 下载量: 300 浏览量: 568
社会科学前沿 Vol.11 No.7, July 19 2022, PDF, HTML, XML DOI:10.12677/ASS.2022.117371 被引量
《海商法》修订中承运人适航义务期间的变化 Changes in the Period of Carrier’s Airworthiness Obligation in the Amendment of Maritime Law
徐帅昱 下载量: 689 浏览量: 1,444
争议解决 Vol.7 No.2, June 10 2021, PDF, HTML, XML DOI:10.12677/DS.2021.72006 被引量
新型武器装备作战流程设计与验证技术研究Research on Combat Flow Design and Verification Technology of New Weapon Equipment
黄路炜, 杨继峰, 李淑媛, 金 鑫 下载量: 985 浏览量: 3,528
计算机科学与应用 Vol.9 No.6, June 28 2019, PDF, HTML, XML DOI:10.12677/CSA.2019.96130 被引量
基于GrO¨bner基方法的乘法器等价性验证Equivalence Verification of Multipliers Based on GrO¨bner Basis Method
张璇思, 刘佳姝, 江建国 下载量: 733 浏览量: 1,073
应用数学进展 Vol.10 No.1, January 28 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.101039 被引量
基于Alloy的73构形存在性定理的机器验证Machine Verification of the Existence Theorem of Configuration 73 Based on Alloy
徐 月, 江建国, 邹 科, 张新钢 下载量: 1,565 浏览量: 1,843
应用数学进展 Vol.6 No.8, November 29 2017, PDF, , XML DOI:10.12677/AAM.2017.68123 被引量