分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 895 浏览量: 2,747
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
求解一维对流扩散方程的高阶方法High-Order Methods for Solving One-Dimensional Convection-Diffusion Equations
刘艺明, 刘红霞 下载量: 445 浏览量: 866
应用数学进展 Vol.10 No.4, April 27 2021, PDF, HTML, XML DOI:10.12677/AAM.2021.104123 被引量
新型农业经营主体的正规信贷约束研究—基于辽宁样本的考察分析The Study of Formal Credit Constraints of New Agricultural Business Entities—Based on the Analysis of Liaoning Samples
高红治, 周 杨, 王淑君 下载量: 1,400 浏览量: 3,394
世界经济探索 Vol.6 No.2, June 28 2017, PDF, , XML DOI:10.12677/WER.2017.62002 被引量
我国刑法应当坚持实质解释立场Criminal Law Should Adhere to the Position of Substantive Interpretation in China
刘 阳 下载量: 957 浏览量: 3,417
社会科学前沿 Vol.8 No.1, January 28 2019, PDF, HTML, XML DOI:10.12677/ASS.2019.81022 被引量
应力测量方法Methods for Stress Measurement
姜国利, 王江涌 下载量: 4,369 浏览量: 15,419
材料科学 Vol.6 No.1, January 19 2016, PDF, , XML DOI:10.12677/MS.2016.61002 被引量
基于共享信息描述模板的舱段装配工艺形式化表达与封装Formal Expression and Packaging of Ship Section Assembly Process Based on Shared Information Description Template
张秀艳, 王禹森, 景 迪, 白文广, 臧建新 下载量: 124 浏览量: 421
国际航空航天科学 Vol.12 No.1, March 12 2024, PDF, HTML, XML DOI:10.12677/JAST.2024.121003 被引量
植物杂交种鉴定的方法综述A Review of Methods in Plant Hybrids Identification
刘志娥 下载量: 1,312 浏览量: 3,158
自然科学 Vol.6 No.3, May 29 2018, PDF, HTML, XML DOI:10.12677/OJNS.2018.63026 被引量
求解积分方程的多尺度快速配置法Multiscale Collocation Methods for Integral Equations
罗兴钧, 李丽君, 张荣 下载量: 1,657 浏览量: 2,622 国家自然科学基金支持
应用数学进展 Vol.6 No.4, July 6 2017, PDF, , XML DOI:10.12677/AAM.2017.64054 被引量
基因编辑技术的方法、原理及应用Methods, Principles and Application of Gene Editing
朱玉昌, 郑小江, 胡一兵 下载量: 7,324 浏览量: 29,012 科研立项经费支持
生物医学 Vol.5 No.3, July 27 2015, PDF, , XML DOI:10.12677/HJBM.2015.53005 被引量
翻译风格论视角下爱伦•坡恐怖小说翻译研究——以《黑猫》曹明伦译本为例On the Translation of Allen Poe’s Horror Sto-ries Based on Theory of Translation Style—A Case Study of the Translation of Black Cat by Cao Minglun
刘 珊 下载量: 398 浏览量: 716
现代语言学 Vol.11 No.12, December 13 2023, PDF, HTML, XML DOI:10.12677/ML.2023.1112794 被引量