关键词：不良推理：搜索

应用的筛选器

人

出版物

出版日期

1结果用于：关键字：没有良好的推理编辑搜索保存搜索RSS（RSS）

检索ACM计算机文献指南（3704312条记录）|将搜索限制为ACM全文集（743955条记录）

显示1-1属于1个结果

全选

引文输出保存到活页夹

每页：

相关性

文章
2004年4月
R-SATCHMO公司：I-SATCHMO的改进
逻辑与计算杂志（JOLC），第14卷，第2期2004年4月，第117-143页https://doi.org/10.1093/logcom/14.2.117

本文对I-SATCHMO进行了三个改进。I-SATCHMO是回跳策略在模型生成定理证明器SATCHMO-中的应用，它被形式化为正单位超分辨率表，用于修剪。。。
2
韵律学
引文总数2