Hypothesis finding with proof theoretical appropriateness criteria

Hypothesis finding with proof theoretical appropriateness criteria
复制标题

假设发现与证明理论适当性标准

DOI:
--
复制
发表时间:
2006
期刊:
Theoretical Computer Science 350
影响因子:
--
通讯作者:
A
A
中科院分区:
--
文献类型:
--
作者:
Fronhoefer;B.;Yamamoto;A

文献摘要

相似文献