分离逻辑断言的Coq证明策略Tactics for Proving Separation Logic Assertions in Coq
雷斯然, 程梦奇, 江建国 下载量: 903 浏览量: 2,762
软件工程与应用 Vol.9 No.1, January 13 2020, PDF, HTML, XML DOI:10.12677/SEA.2020.91003 被引量
不同氧浓度下煤自燃指标优选Optimization of Coal Spontaneous Combustion Index under Different Oxygen Concentration
田文雄, 周艺婷 下载量: 450 浏览量: 858
矿山工程 Vol.8 No.3, July 24 2020, PDF, HTML, XML DOI:10.12677/ME.2020.83050 被引量
基于小组导向的Python语言程序设计的改革与实践Reform and Practice of Python Language Programming Design Based on Group Orientation
侯严严, 宋柱芹, 杨贞萍 下载量: 33 浏览量: 59
创新教育研究 Vol.12 No.6, June 18 2024, PDF, , XML DOI:10.12677/ces.2024.126356 被引量
对综合提高机电工程检测结论可靠性的分析Analysis on the Reliability of Comprehensive Improvement of Electrical-Mechanical Engineering’s Testing Conclusion
包左军, 朱传征, 李 伟 下载量: 1,755 浏览量: 3,666
交通技术 Vol.5 No.6, November 8 2016, PDF, , XML DOI:10.12677/OJTT.2016.56017 被引量
APP在手机移动端的交互设计研究APP Interaction Design Research on the Mobile End
唐爱红 下载量: 1,672 浏览量: 4,468
软件工程与应用 Vol.6 No.6, December 8 2017, PDF, HTML, XML DOI:10.12677/SEA.2017.66020 被引量
航天产品的制品再利用管理方法初探Research on the Management Methods for Product Reuse of Aerospace Products
曹 娜, 傅东旭, 马 静, 王宏言, 黄洪垒, 隗功正 下载量: 369 浏览量: 754
管理科学与工程 Vol.10 No.1, March 29 2021, PDF, HTML, XML DOI:10.12677/MSE.2021.101010 被引量
绘画治疗理论及其在特殊群体中的应用Painting Therapy Theory and Its Application in Special Groups
梅佳欣 下载量: 570 浏览量: 1,074
心理学进展 Vol.12 No.9, September 21 2022, PDF, HTML, XML DOI:10.12677/AP.2022.129371 被引量
APP侵犯个人信息的实证研究 An Empirical Study on APP Infringement of Personal Information
贾金月 下载量: 251 浏览量: 357
争议解决 Vol.9 No.6, November 3 2023, PDF, HTML, XML DOI:10.12677/DS.2023.96366 被引量
商业秘密保护的刑民协调问题研究 Study on the Criminal-Civil Coordination in the Protection of Trade Secrets
杨子安 下载量: 167 浏览量: 248
争议解决 Vol.9 No.6, November 17 2023, PDF, HTML, XML DOI:10.12677/DS.2023.96432 被引量
城市建设项目水土保持方案技术审查审批的思考Consideration on Technical Examination and Approval of Water and Soil Conservation Scheme of Urban Construction Project
杨权利, 莫秋霞, 王鹤鸣 下载量: 536 浏览量: 1,482 国家科技经费支持
水土保持 Vol.9 No.1, March 26 2021, PDF, HTML, XML DOI:10.12677/OJSWC.2021.91002 被引量