Defining what such game-playing machines mean, computability logic provides a generalization of the Church-Turing thesis to the interactive level.
英
美
释义
定义了这种游戏扮演机器所意味的东西,可计算性逻辑在交互层面提供了邱奇-图灵论题的一般化。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载