在綫閱讀本書
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.
發表於2024-12-24
Computability and Complexity in Analysis 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯 計算機
Computability and Complexity in Analysis 2024 pdf epub mobi 電子書 下載