2. 您的位置
3. 首页
4. 期刊论文
5. 基于目标演绎距离的一阶逻辑子句集预处理方法网络首发

基于目标演绎距离的一阶逻辑子句集预处理方法网络首发

来源 :计算机科学 | 被引量 : 0次 | 上传用户：Hamihami

【作 者】

：

曹锋  徐扬  钟建  宁欣然 

【出 处】

：

计算机科学

【发表日期】

：

2019年11期

下载到本地 , 更方便阅读

下载此文 赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

其他文献

深度报道《大学里的小官场》——附《大学里的小官场》作品阐述

学位

物联网:制造业转型

期刊

新时代 新思想 新征程:做优质高效的积极职业教育

期刊

浅层包气带水汽昼夜运移规律及其数值模拟研究

期刊

经济波动对投资环境的影响研究网络首发

期刊

Unexpected low thermal conductivity and large power factor in Dirac semimetal Cd_3As_2

期刊

新中国70年国产动画民族性嬗变研究网络首发

期刊

社会网络与创新创业效能感对大学生创新创业意向的影响研究

期刊

集装箱涂料

期刊

延安时期中国共产党对延安形象建构研究——以《解放日报》为中心的考察

学位