Being a conservative extension of the former, computability logic is, at the same time, by an order of magnitude more expressive, constructive and computationally meaningful.
英
美
释义
作为前者的保守扩展的同时,可计算性逻辑有着一个数量级之上的表达力、创造性和计算意义。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载