赤間 清: "論理的問題の等価変換による解法(2)SLD導出の限界" 人工知能学会誌. 13.6. 936-943 (1998)
赤間 清: "論理的問題の等価変換による解法(2)SLD導出の限界" 人工知能学会誌. 13.6. 936-943 (1998)
复制标题
Kiyoshi Akama：“通过等效变换解决逻辑问题（2）SLD 推导的限制”人工智能学会杂志 13.6（1998）。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
