- 双语例句 更多例句
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二阶谓词演算
- right recursive form右递归形式
- semantic predicate[计]语义谓词;
- recursive estimator[计]递归估计器[程序];
- third order predicate logic三阶谓词逻辑
- simple predicate简单谓语
- zero-place predicate零位谓词
- symmetric predicate对称谓语
- unary predicate calculus单谓词演算
- true predicate真谓词
- computable predicate可算谓词;
- 今日热词
- 热门搜索
- peculiar adj.奇怪的，古怪的;异常的;特有的，特殊的;
- WPS n.焊接工艺规程 Welding procedure specification;Word Processing System;文字处理系统;中文字处理系统;由金山软件公司开发;安全设置(WiFi Protected Setup)；焊接工艺规程(welding procedure specification)；焊接工艺指导书
- seek v.寻找;谋求;请求（帮助），征求（意见）;想方设法;
- collections n.收集( collection的名词复数 );收藏品;作品集;募集的款项;
- esse n.存在，实体，实在;abbr.塞内加尔地面站;嵌入式系统软件环境(embedded system software environment)
- could aux.能够，打算;用于假设语气的条件句;用于虚拟语气的结论句;modal.可能会，有时会;（用于表示对某人的行为的厌恶）能，可以;(询问是否可做某事)能，可以;(礼貌地请求别人做事以及提供或建议某事物时)能，可以;能，会;（用于建议）可以;好像，仿佛;（强调感觉）真想
- aula n.第三脑室前端;
- Ambien 安比恩（唑匹旦、唑嘧啶胺药剂的商标）;
- hust n.华中科技大学(Huazhong University of Science and Technology)；华中科大(HUAZHONG UNIV SCI TECHNOL)；武汉华中科技大学
- reliable adj. 可靠的;可信赖的;真实可信的;n. 可靠的人;
- fit v.适合;合身;试穿;放置于;可容纳;安装;与…相配;胜任;发作;adj.健康的;适合的;俊秀的;就要;
- quake vi.发抖，颤抖;摇动，震动;
