1.
A Denotational Semantic Description for Safe Ambient Calculus
![点击朗读](/dictall/images/read.gif)
Ambient演算的一种分层语义
2.
Research on Ambient Advertising
![点击朗读](/dictall/images/read.gif)
对异型广告(Ambient Advertising)的研究
3.
Mikusinski's operational calculus
![点击朗读](/dictall/images/read.gif)
米库辛斯基算子演算
4.
deductive operation on structured object
![点击朗读](/dictall/images/read.gif)
结构化事物的演绎运算
5.
Allow me to show you.
![点击朗读](/dictall/images/read.gif)
让我来演算给你看。
6.
a demonstration of the computer's functions
![点击朗读](/dictall/images/read.gif)
计算机功能的示范表演.
7.
atomic formula in predicate calculus
![点击朗读](/dictall/images/read.gif)
谓词演算中的原子公式
8.
connective in predicate calculus
![点击朗读](/dictall/images/read.gif)
谓词演算中的连接词
9.
The Operation and Weak Deductive Theorem in FormalDeductive System L~*;
![点击朗读](/dictall/images/read.gif)
形式演绎系统L~*的运算与弱演绎定理
10.
The Operationand Deductive Theorem in the Formal Deductive System L~*;
![点击朗读](/dictall/images/read.gif)
形式演绎系统L~*中的运算与演绎定理
11.
On Inversion and Non-calculation of Four Basic Types of Logical Inference
![点击朗读](/dictall/images/read.gif)
对逻辑推理四大基础类型的反演算和非演算
12.
The computer performs these calculations with surprising speed.
![点击朗读](/dictall/images/read.gif)
计算机以惊人的速度完成这些演算。
13.
Implications of Budget-Practice Evolution to College Budget Management;
![点击朗读](/dictall/images/read.gif)
预算方法演变给高校预算管理的启示
14.
Parallel Evolutionary Algorithm to TSP Based on Inver-over Operator
![点击朗读](/dictall/images/read.gif)
基于Inver-over算子的并行TSP演化算法研究
15.
A Higher-Order Potential Vorticity Inversion Algorithm and Its Application, PartⅠ: Potential Vorticity Inversion
一类高阶位涡反演的算法及其应用Ⅰ:位涡反演
16.
This paper presents the principles of SWMM model, which consists mainly of three parts, i.e. ground surface rainfall sub-system calculation, overland flow sub-system calculation and storm-sewer flow sub-system calculation.
介绍了SWMM模型原理,包括地表产流子系统演算、地表汇流子系统演算和传输子系统流量演算。
17.
A legitimate expression of the predicate calculus. That is, it is acceptable under the predicate calculus' syntax.
一个合法的谓词演算表达式,即谓词演算语法所允许的公式。
18.
The algorithm used to create this loop free logical topology is the spanning-tree algorithm.
用来建立没有?圈的逻辑拓扑之演算法通常称为扩充树演算法。