A product of two seminars held in the IBM World Trade European Education Center of Blaricum (Holland) in 1961, the first of which was dedicated to a general survey of non-numerical applications of computers whereas the second was more specifically concerned with some aspects of the theory of formal systems.
發表於2024-11-28
Computer Programming and Formal Systems 2024 pdf epub mobi 電子書 下載
圖書標籤: 計算機 system mathematical logic formal computation
Computer Programming and Formal Systems 2024 pdf epub mobi 電子書 下載