英语词汇Computability logic怎么读，是什么意思，单词翻译、读音、固定搭配用法和短语词组及例句-英汉双解词典

单词	Computability logic
释义	Computability logic 简明释义可计算性逻辑（可计算性逻辑是一种可计算性理论，将逻辑恢复为系统的形式，逻辑公式表示计算问题，有效性意味着总是可计算的）网络释义 1 ?可计算性逻辑 doc 关键词: Cirquent演算;可计算性逻辑;Extended IF逻辑 [gap=1148]Key words: Cirquent calculus; computability logic; Extended IF logic ... 短语 1 Briefly about computability logic 可计算性逻辑双语例句 1 Based on the sound and complete subset CL4 of computability logic, knowledge representation is discussed by dividing knowledge into elementary and general ones. 以可计算性逻辑的完备子集cl4为基础进行知识表示，将知识分为简单知识与一般知识。 2 It is a formal theory of computability in the same sense as classical logic is a formal theory of truth. 它是可计算性的形式理论，正如经典逻辑是真理的形式理论。
随便看	air-drop automatic station air drop hammer airdropp air-droppable air-dropped airdropped air dropped air dropped sea ice penetrometer air-dropping airdropping airdropping airdrop platform air drop airdrop air drop airdrop test air drum airdrum air-drum air drum hanger airdry air dry air-dry air dry basis air dry cell

英汉双解词典包含3185865条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。