分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 904 浏览量: 2,763
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
基于多元回归分析CEO职业经历丰富度对投资效率的影响研究Research on the Influence of Generalist CEO on Enterprise Investment Efficiency Based on Multiple Regression Analysis
杨嘉俊 下载量: 71 浏览量: 141
理论数学 Vol.14 No.5, May 31 2024, PDF, HTML, XML DOI:10.12677/pm.2024.145208 被引量
危机与重生——智商、情商、财商视域下《基督山伯爵》解读Crisis and Renascence—An Interpretation of The Count of Monte Cristo from the Theory of Multiple Intelligences, Emotional Intelligence and Financial Intelligence
唐 琼, 康有金 下载量: 376 浏览量: 733 科研立项经费支持
世界文学研究 Vol.11 No.1, February 22 2023, PDF, HTML, XML DOI:10.12677/WLS.2023.111009 被引量
自我概念清晰性与无聊的关系:多重中介模型分析The Relationship between Self-Concept Clarity and Boredom Proneness: Multiple Mediation Model Analysis
黄旭敏, 杨 晨, 韩佩玉 下载量: 129 浏览量: 240 科研立项经费支持
心理学进展 Vol.14 No.4, April 11 2024, PDF, HTML, XML DOI:10.12677/ap.2024.144204 被引量
似然比扫描法在长记忆时间序列均值多变点中的应用 Application of Likelihood Ratio Scanning Method in Multiple Mean Changes in Long Memory Time Series
徐琼瑶, 邢玉红 下载量: 1,054 浏览量: 2,775 国家自然科学基金支持
数据挖掘 Vol.9 No.2, February 13 2019, PDF, HTML, XML DOI:10.12677/HJDM.2019.92002 被引量
基于多目标规划的城市垃圾运输车辆调度问题研究Study of City Garbage Transportation Vehicle Scheduling Problem Based on Multiple Objective Programming
郭 禹, 朱大鹏 下载量: 2,825 浏览量: 7,424
管理科学与工程 Vol.3 No.3, September 12 2014, PDF, , DOI:10.12677/MSE.2014.33009 被引量
两点边值微分方程组多重正解的存在性Existence of Multiple Positive Solutions of Differential Equation System with Two-Point Boundary Value
钟 璇 下载量: 1,185 浏览量: 1,502 国家自然科学基金支持
应用数学进展 Vol.8 No.2, February 14 2019, PDF, HTML, XML DOI:10.12677/AAM.2019.82026 被引量
多发展指标下的各省人口因子与聚类分析Factor Analysis and Cluster Analysis of Province Population under Multiple Development Indexes
贾宇尘, 温锦辉 下载量: 585 浏览量: 3,164
统计学与应用 Vol.9 No.2, April 17 2020, PDF, HTML, XML DOI:10.12677/SA.2020.92030 被引量
多元主体视角下农村养老保障困境分析Analysis of the Plight of Rural Old-Age Security from the Perspective of Multiple Subjects
刘国栋 下载量: 352 浏览量: 733
社会科学前沿 Vol.10 No.11, November 4 2021, PDF, HTML, XML DOI:10.12677/ASS.2021.1011412 被引量
电絮凝/离心沉淀器/多介质过滤工艺处理含煤废水The Treatment of Coal-Bearing Wastewater by Electric Flocculation/Centrifugal Precipitator/Multiple Agent Filtration
肖学权, 杨 彬, 常 亮, 宋建超, 李文毅 下载量: 528 浏览量: 839
水污染及处理 Vol.10 No.2, March 30 2022, PDF, HTML, XML DOI:10.12677/WPT.2022.102008 被引量