搜索结果: 1-1 共查到“数理逻辑与数学基础 Binary Category Computation”相关记录1条 . 查询时间(0.25 秒)
Category computation theory deals with a web-based systemic processing that underlies the morphic webs, which constitute the basis of categorial logical calculus. It is proven that, for these structur...