📚 str-z技术资料

📦 资源总数:502
💻 源代码:151997

🔥 str-z热门资料

查看全部502个资源 »

1928年,Wilhelm Ackermann (1896 - 1962,David Hilbert的学生) 发现x的y次幂的z-重积分 A(x,y,z)是递归的但不是原始递归的。Rosza Peter将A(x,y,z)简化到二元函数,初始条件由Raphael Robinson简化。...

📅 👤 xfbs821

💻 str-z源代码

查看更多 »
📂 str-z资料分类