查询词典 logic

the unification of logic and historicity：逻辑与历史的统一

区域经济一体化:the unification of regional area | 逻辑与历史的统一:the unification of logic and historicity | 城乡统筹就业:Unification Employment between Urban Areas and Rural Areas

Hoare logic：霍尔逻辑

在过去40年中,他发明的快速排序算法被广泛应用,称为最有效率的算法; 而他提出的霍尔逻辑(Hoare Logic)则用严密的数学做保证,推理验证程序的正确性. 由于对算法和编程语言的巨大贡献,Tony Hoare成为1980年图灵奖的获得者. 因此,

Hoare logic：逻辑

HMAC密码术 HMAC | Hoare逻辑 Hoare logic | 戏弄 hoax

new idealist：新唯心主义者

new idealism 新唯心主义 | new idealist 新唯心主义者 | new logic 新逻辑

if then operation：若则运算

"若则逻辑","IF-THEN logic" | "若则运算","IF-THEN operation" | "若则叙述","if-then statement"

if then operation：蕴涵运算

若则逻辑 IF-THEN logic | 蕴涵运算 IF-THEN operation | 若则叙述 if-then statement

ccd imager：电荷耦合成像器

ccd image array 电荷耦合掐成像阵列 | ccd imager 电荷耦合成像器 | ccd logic 电荷耦合掐逻辑

ccd imager：电荷耦合成像器iVJ中国学习动力网

ccd image array 电荷耦合掐成像阵列iVJ中国学习动力网 | ccd imager 电荷耦合成像器iVJ中国学习动力网 | ccd logic 电荷耦合掐逻辑iVJ中国学习动力网

imitation show：模拟秀

名优 famous actor; famous high quality brand | 模拟秀 imitation show | 模糊逻辑 fuzzy logic

"alphanumeric impact printer：文数撞击打印机

文数产生器 "alphanumeric generator | 文数撞击打印机 "alphanumeric impact printer | 文数逻辑包 "alphanumeric logic package

Alan Kuo：免费电视剧 柯有伦

阮经天 Ethan Ruan | 免费电视剧 柯有伦 Alan Kuo | 邱胜翊 Prince Yau

Cutia Lifer：斑胁姬鹛

481 斑尾鹃鸠 Barred Cuckoo Dove Lifer | 482 斑胁姬鹛 Cutia Lifer | 483 白胸翡翠 White-throated Kingfisher