图书标签: 逻辑 計算機
发表于2024-11-23
Computability and Complexity in Analysis pdf epub mobi txt 电子书 下载 2024
在线阅读本书
This book constitutes the thoroughly refereed post-proceedings of the 4th International Workshop on Computability and Complexity in Analysis, CCA 2000, held in Swansea, UK, in September 2000.The 23 revised full papers presented together with a report on a competition of exact real arithmetic systems were carefully selected from 28 papers accepted for presentation during the workshop. The book presents a cross-section on current research on computability and complexity in analysis.
评分
评分
评分
评分
Computability and Complexity in Analysis pdf epub mobi txt 电子书 下载 2024