英语 ⇄ 中文 丹麦语 乌克兰语 俄语 希腊语 德语 意大利语 日语 法语 爱沙尼亚语 瑞典语 芬兰语 荷兰语 葡萄牙语 西班牙语 +

predicate calculus 强调
信息技术	исчисление предикатов :
数学	исчисление предикатов

predicate calculus : 35 短语, 7 学科

力学	1
技术	2
数学	23
编程	5
自动化设备	1
计算	1
逻辑	2