圖書標籤: 邏輯 計算機
发表于2024-12-28
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