Chowdhury,R.M.,沼尾正行: "Constructive Induction for Recursive Programs" Lecture Notes in Artificial Intelligence. 872. 161-175 (1994)
Chowdhury,R.M.,沼尾正行: "Constructive Induction for Recursive Programs" Lecture Notes in Artificial Intelligence. 872. 161-175 (1994)
复制标题
Chowdhury, R.M.,Masayuki Numao:“递归程序的构造归纳法”人工智能讲义 872. 161-175 (1994)
DOI:
--
复制
发表时间:
--
期刊:
影响因子:
--
通讯作者:
中科院分区:
文献类型:
--
作者: