- 双语例句 更多例句
1、
This paper builds the Deductive System of Temporal Logical formulas in default theory.
本文建立了基于缺省理论的时态逻辑公式演绎系统。
互联网摘选
- 相关词组
- logical page逻辑页
- magnetic core logical circuit磁心逻辑电路
- logical parent逻辑双亲
- ray tracing formulas光线追迹公式
- modifier formulas修正公式
- logical connective逻辑连接，逻辑连接词，逻辑连接符;
- question logical formulation提问逻辑式
- report writer logical record报表编制逻辑记录
- random quadrature formulas随机求积公式
- logical paging逻辑分页
- logical connection逻辑连接，逻辑连结;
- normal formulas正规公式,范式
- report write logical record报表书写逻辑记录
- logical axiom逻辑公理
- logical paradox逻辑悖论
- programmer logical unit程序员逻辑部件
- routine logical instruction程序逻辑指令
- logical overlap coefficient逻辑重叠系数
- manipulation of algebraic formulas代数公式的处理
- multilevel logical circuit多级逻辑电路
- 今日热词
- 热门搜索
- neighbour n.邻居;邻近的人[物];邻国;世人;
- Swing [人名] 斯温;[电影]秋千;
- gay adj. 快乐的，愉快的;同性恋的;艳丽的，华丽的;放荡的，无法无天的;n. 同性恋者（尤指男性）;
- 汇率 exchange rate ;rate of exchange
- you make me wanna 你让我想…（歌曲名）;
- GTR abbr.Ground Test Reactor 地面试验性反应堆;日产公司生产的高性能汽车;电力晶体管;
- Notuntil 直到才
- whistle v.吹口哨;呼啸着行进;鸣叫;(鸟类）啭鸣;n.哨子;哨子声;汽笛声;
- ticktock v.发出滴答声;n.滴答声;滴滴答答;嘀嗒;滴答滴答
- postcode n.邮政编码;
- Google n. 谷歌（搜索引擎名）;谷歌公司v.将(字、词等)键入搜索引擎进行搜索(尤指谷歌搜索引擎)
- terrify vt.使恐怖，使惊吓;恐吓，吓唬;威胁;
