TTSP項グラフ言語の正データからの多項式時間帰納推論可能性について
TTSP項グラフ言語の正データからの多項式時間帰納推論可能性について
复制标题
论TTSP术语图语言中从正数据进行多项式时间归纳推理的可能性
DOI:
--
复制
发表时间:
2005
期刊:
影响因子:
--
通讯作者:
中村 泰明
中科院分区:
文献类型:
--
作者:
鈴木 祐介;高味 亮司;内田 智之;正代 隆義;中村 泰明