查询词典 predicate symbol

general recursive relation：一般递归关系

general recursive predicate 一般递归谓词 | general recursive relation 一般递归关系 | general set theory 一般集合论

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 一元谓词演算

tax assessor：估税员,税务稽核员

tax assessment税额查定 | tax assessor估税员,税务稽核员 | tax association税务协会

enterotomy scissors：剖肠剪

enterolithic structure 肠状构造 | enterotomy scissors 剖肠剪 | enterotoxaemias of sheep 绵羊肠毒血症