木村春彦: "命題論理の仮説推論に対する問題分割法の実行時間予測" 電子情報通信学会論文誌A. J81-A,9. 1297-1301 (1998)
木村春彦: "命題論理の仮説推論に対する問題分割法の実行時間予測" 電子情報通信学会論文誌A. J81-A,9. 1297-1301 (1998)
复制标题
Haruhiko Kimura：“命题逻辑中假设推理的问题划分方法的执行时间预测”IEICE Transactions A. J81-A, 9. 1297-1301 (1998)
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
