Consistency Conditions for Inductive Inference of Recursive Functions
Consistency Conditions for Inductive Inference of Recursive Functions
复制标题
递归函数归纳推理的一致性条件
DOI:
--
复制
发表时间:
2007
期刊:
影响因子:
--
通讯作者:
Yohji Akama and Thomas Zeugmann
中科院分区:
文献类型:
--
作者:
上村卓史;喜田拓也;有村博紀;Yohji Akama and Thomas Zeugmann