帰納法に関する推論の計算複雑性

帰納法に関する推論の計算複雑性
复制标题

归纳推理的计算复杂性

DOI:
--
复制
发表时间:
2023
期刊:
第25回プログラミングおよびプログラミング言語ワークショップ(PPL2023)予稿集
影响因子:
--
通讯作者:
伊藤 宗平,龍田 真
伊藤 宗平,龍田 真
中科院分区:
--
文献类型:
--
作者:
Jianchao Zhang;Jun Suzuki;伊藤 宗平,龍田 真

文献摘要

参考文献

相似文献

DOI: 10.13031/2013.38050
发表时间: 1972
期刊:
影响因子: --
作者:
J. R. Hammerle
通讯作者: J. R. Hammerle
DOI: 10.1016/0021-8634(75)90064-5
发表时间: 1975
期刊:
影响因子: --
作者:
V. Rao;D. D. Hamann;J. R. Hammerle
通讯作者: J. R. Hammerle
关于具有温度相关特性的粘弹性材料中的瞬态热应力
DOI: --
发表时间: 1961
期刊:
影响因子: --
作者:
R. Muki;E. Sternberg
通讯作者: E. Sternberg
玉米角质胚乳的拉伸松弛模量随时间、温度和水分含量的变化
DOI: 10.13031/2013.38612
发表时间: 1970
期刊:
影响因子: --
作者:
J. R. Hammerle;N. Mohsenin
通讯作者: N. Mohsenin
瞬态温度和湿度梯度导致的麦克斯韦粘弹性圆柱体中的应力
DOI: 10.13031/2013.36762
发表时间: 1975
期刊:
影响因子: --
作者:
V. Rao
通讯作者: V. Rao