发表于2025-02-07
Computability and Complexity in Analysis 2025 pdf epub mobi 电子书
图书标签: 逻辑 計算機
在线阅读本书
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 2025 pdf epub mobi 电子书