Iwanuma, K., Inoue, K., Satoh, K.: "Completeness of Pruning Methods for Consequence Finding Procedure SOL"Proc. of FTP'2000. 89-100 (2000)
Iwanuma, K., Inoue, K., Satoh, K.: "Completeness of Pruning Methods for Consequence Finding Procedure SOL"Proc. of FTP'2000. 89-100 (2000)
复制标题
Iwanuma, K.、Inoue, K.、Satoh, K.：“后果查找程序 SOL 修剪方法的完整性”Proc。
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
