056 确定性推理方法-3.3 谓词公式化为子句集的方法

书名：现代人工智能技术作者名：李远征等　编著本章字数：4025更新时间：2024-12-30 14:10:05