recursive predicate
- 基础释义 纠错
- 释义
递归谓词
- 双语例句 更多例句
-
1、
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
来源：互联网摘选
- 相关词组
- total recursive function 全递归函数
- total predicate 全谓词
- uniformly primitive recursive function 均匀[一致]原始递归函数
- singular predicate 单谓词
- semi-computable predicate 半可计算谓词
- stack in recursive procedure 递归过程的栈
- right recursive rule 右递归规则
- recursive database [计]递归数据库;
- temporary block in a recursive procedure 递归过程的工作单元块
- second-order predicate calculus 二阶谓词演算
- 相关阅读
-
Gigi Hadid女儿4岁啦！美渣Zayn Malik罕见晒娃，网友泪目：爸爸好帅！
纳米英语 · 双语娱乐资讯
-
坐实新恋情！“钱老板”Channing Tatum携手新女友亮相奥斯卡前夜派对！
纳米英语 · 双语娱乐资讯
-
年龄差25岁！卡戴珊家族“太后”与黑人男友的“不老爱情”，甜到齁！
纳米英语 · 双语娱乐资讯
-
霸总微短剧泛滥：广电总局出手整治“霸总”微短剧
纳米英语 · 双语新闻
-
悉尼妹情变传闻甚嚣尘上，却和绯闻搭档现身同一晚宴！
纳米英语 · 双语娱乐资讯
-
2000万美元索赔泡汤！玛丽亚·凯莉《All I Want for Christmas Is You》版权案完胜！
纳米英语 · 双语娱乐资讯