Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies 论文

1981Lecture notes in mathematics引用 240
DOI
Neural Networks and ApplicationsAdvanced Algebra and LogicRough Sets and Fuzzy Logic
人工智能Neural Networks and ApplicationsAdvanced Algebra and LogicRough Sets and Fuzzy Logic
相关技术:Neural Networks and Applications
关系图谱

4

作者

1

相关技术

0

相关事件

0

相关文章

作者查看全部 (4)

W

Wilfried Sieg

W

Wolfram Pohlers

S

Solomon Feferman

W

Wilfried Buchholz

相关技术查看全部 (1)

Neural Networks and Applications

相关事件

暂无数据

相关文章

暂无数据