- 双语例句 更多例句
1、
Syntax and operational semantics of recursive programs based on predicate logic
建立于谓词逻辑上的递归程序及其操作语义
互联网摘选
- 相关词组
- left recursive definition左递归定义
- temporary block in a recursive procedure递归过程的工作单元块
- total recursive function全递归函数
- higher-order predicate calculus高阶谓词演算
- left recursive rule左递归规则
- left recursive way左递归方式
- higher-order predicate高价谓词
- zero-place predicate零位谓词
- right recursive form右递归形式
- second-order predicate calculus二阶谓词演算
- symmetric predicate对称谓语
- simple predicate简单谓语
- singular predicate单谓词
- stack in recursive procedure递归过程的栈
- right recursive rule右递归规则
- true predicate真谓词
- semantic predicate[计]语义谓词;
- general recursive function一般逆归函数
- recursive database[计]递归数据库;
- general recursive predicate一般递归谓词
- 今日热词
- 热门搜索
- worth adj.价值，值…钱;值得;拥有…价值的财产;n.价值，意义，作用;
- quark n.夸克（构成原子的最小粒子）;
- worthy adj.值得的;值得(或应得)…的;有价值的(但不太令人感兴趣或激动的);值得注意的;值得尊敬的;值得敬仰的;有（某人或事物）的典型特征n.大人物，知名人士;
- resemble v.像;类似;
- words n.字( word的名词复数 );（说的）话;诺言;口令;
- circus n.马戏团;热闹场面;（用于地名）环形广场;
- pick up 拿起，提起;拾起，捡起;（不费力地）获得，学会;发现，找到，识别（特点或模式）;得（病），染上（疾病）;加速;（贸易或经济）好转，改善;接收到（信号或声音）;收拾残局;（通常指开车）接载，取走;（以发生性关系为目的）与…搭讪;逮捕，拘捕;重提，接过（观点或话题）;指出…的错误，纠正;（跌倒或被击倒后）使（自己）慢慢站起（或爬起）;努力恢复正常
- walkman 随身听，步行者录放机;
- ordinary adj.普通的;平庸的;一般的;平凡的;平常的;平淡无奇的n.法官;普通股;宗教法官;普通事
- the rain 雨;下雨;雨滴
- listen to this 听这个;听听这个;
- unusual adj.特别的，不寻常的;独特的，别致的;
