propositi相关论文
This research used both geostatistics and GIS approach to compare temporal change of soil salt between 1980 and 2003, to......
To combat the well-known state-space explosion problem in Propositional Linear Temporal Logic (PLTL) model checking,a no......
离散数学是计算机科学中基础理论的核心课程。本文研究了关系的计数问题,给出了特殊函数的计数问题,讨论了图论中两个重要的计数公式......
本文总结1500例次耳硬化症手术中有血缘关系的6个家族、13人20耳次镫骨摘除术的临床相似点为:(1)同一家族中发病年龄相似;(2)同一......
利用全着色矩阵给出一类图的全着色构造,证明了对于这些图类M.Behzad的全着色猜想是正确的,并以实例说明了该方法的应用和推广.由......
在对"企业家"相关理论综述的基础上,用随机抽样和典型调查的方法,调查了中小企业比较发达的浙江省中为数众多的中小企业,根据调查......
数学的发现与数学的论证是数学的两大重要内容,如果没有数学的发现则论证就成了无源之水,无本之木;如果没有论证,命题的真假就不得......
All of 1055 cleft-lip and/or cleft-palate cases with their 1055 families were investigated. As the results." the inciden......
论述建立电工技术课程试卷库的重要性,就考核模式和建设方案提出了一些看法....