Why Do We Prove Theorems? 论文

1999Philosophia Mathematica引用 365
DOI
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsHistory and Theory of Mathematics
Computability, Logic, AI AlgorithmsLogic, programming, and type systemsHistory and Theory of Mathematics
相关技术:Computability, Logic, AI Algorithms
关系图谱

Why Do We Prove Theorems? · 相关技术

相关技术

Computability, Logic, AI Algorithms