1.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
2.
Hilbert s Type Intuitionistic Systems of First Order Sentential Calculus;
一阶命题演算的希尔伯特型直觉主义系统
3.
Anmotation for the Proof Axiomatic Independence of Proposotional Calculas;
关于命题演算公理系统独立性证明的注记
4.
We derived propositions from axioms
我们从原理演绎出命题。
5.
Lifecycle of Modeling Business Process Based on Pi Calculus
用Pi演算为业务过程建模的生命周期
6.
On the Beginning of Speeches with Topics Assigned --One of the Originality and Techniques of Speeches;
命题演讲论开头——演讲的创意与技巧之一
7.
One of the propositions in a deductive argument.
前提演绎论证中的命题之一
8.
Design of Artificial Life Demo System Based on Genetic Algorithm
基于遗传算法的人工生命演示系统设计
9.
It is a question of being a tightrope walker or not.
这是一个是否算得上钢索演员的问题。
10.
Backtracking techniques can be encoded by fairly short solution programs.
回溯演算法可以写成很短的解题程式。
11.
Aplication Study of Solution to TSP Problem of Evolutionary Algorithm;
求解TSP问题的演化算法应用研究
12.
Research on Hybrid Evolutionary Algorithm of Solving Traveling Salesman Problem;
求解TSP问题的混合演化算法研究
13.
The Application of EC to Solve Search & Optimization Problems;
演化计算在搜索与优化问题中的应用
14.
An Evolutionary Algorithm for Time-limited TSP Problem;
一个求解有时限TSP问题的演化算法
15.
Hybrid differential evolution algorithm for vehicle scheduling problem with soft time windows
求解VSPSTW问题的混合差分演化算法
16.
Solving Shubert function optimization problem by using evolutionary algorithm
一种求解Shubert函数优化问题的演化算法
17.
Proposition relativity and logic calculation in probabilistic logic;
概率逻辑中的命题相关性与逻辑运算
18.
On the Equivalence of Several Propositions in Normal Solution Operators;
关于正规能解算子几个命题的等价性