computability logic
短语发音
US
别名
CL
释义与例句
n.
-
1.
a formal theory of computability
不可数 计算机 工程 数学