查询词典 predicate variable

implicative predicate：蕴含谓词

imperative 祈使句 | implicative predicate 蕴含谓词 | implicature 含意

restricted lie algebra：限制李代数

restricted holonomy group 限制完整群 | restricted lie algebra 限制李代数 | restricted predicate calculus 狭谓词演算

recursive pattern matcher：递归模式匹配程序

recursive orbit 回归轨道 | recursive pattern matcher 递归模式匹配程序 | recursive predicate 递归谓词

recursive pattern matcher：递归型样匹配器

递归方法 recursive method | 递归型样匹配器 recursive pattern matcher | 递归述词 recursive predicate

recursive pattern matcher：递回型样匹配器

"递回方法","recursive method" | "递回型样匹配器","recursive pattern matcher" | "递回述词","recursive predicate"

monic equation：首一方程

一元谓词运算 monadic predicate calculus | 首一方程 monic equation | 赌机法;Monicarlo法 Monicarlo method

second necessary condition：第二必要条件

第二均值定律 second law of the mean | 第二属次谓词 second level predicate | 第二必要条件 second necessary condition

null access value：零存取值

"空中述词","null a list predicate" | "零存取值","null access value" | "空位址","null address"

one place number：单位数

one parameter family of curves 曲线的单参数族 | one place number 单位数 | one place predicate calculus 一元谓词演算

one place predicate calculus：一元谓词演算

one place number 单位数 | one place predicate calculus 一元谓词演算 | one point compactification 单点紧化

phenol red：酚红,苯酚磺酞

phenol reagent 酚试剂 | phenol red 酚红,苯酚磺酞 | phenol red test 酚红排泌试验

accessory equipment：附件

accessory equipment 辅助设备 | accessory equipment 附件 | accessory part 附件