M.Marin,T.Ida and T.Suzuki: "On Reducing the Search Space of Higher-Order Lazy Narrowing"Proc.of 4th Fuji International Symposium on Functional and Logic Programming, LNCS 1722. 319-334 (1999)
M.Marin,T.Ida and T.Suzuki: "On Reducing the Search Space of Higher-Order Lazy Narrowing"Proc.of 4th Fuji International Symposium on Functional and Logic Programming, LNCS 1722. 319-334 (1999)
复制标题
M.Marin、T.Ida 和 T.Suzuki：“论减少高阶惰性窄化的搜索空间”Proc.of 第四届富士函数和逻辑编程国际研讨会，LNCS 1722. 319-334 (1999)
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
