Mathematics based on incremental learning- Excluded middle and inductive inference

Mathematics based on incremental learning- Excluded middle and inductive inference
复制标题

基于增量学习的数学-排除中间推理和归纳推理

DOI:
--
复制
发表时间:
2005
期刊:
Theoretical Computer Science 350
影响因子:
--
通讯作者:
Susumu
Susumu
中科院分区:
--
文献类型:
--
作者:
Hayashi;Susumu

文献摘要

相似文献