Intuitionism and Proof Theory 论文

1970引用 373
Logic, programming, and type systemsComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

3

作者

1

相关技术

0

相关事件

0

相关文章

作者查看全部 (3)

R

R. E. Vesley

J

John Myhill

A

Akiko Kino

相关技术查看全部 (1)

Computability, Logic, AI Algorithms

相关事件

暂无数据

相关文章

暂无数据