论文部分内容阅读
市政道路桥梁施工的质量控制和管理措施分析
【出 处】
:
中国房地产业
【发表日期】
:
2020年16期
其他文献
该文内容包括两个部分分别是关于非确定怀函数类和SAT的结构性质.本质上该文研究非确定性多项式时间问题类NP的搜索问题的计算揽杂性.上述两个部分的内容研究的 分别是NP非完
需求获取是软件开发最核心的阶段,准确、完备的形式化引导,对获取正确、一致、完整的需求描述至关重要。本文讨论了一种本体描述语言,设计并实现了与之配套的本体构造工具,利用该