说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 句库 -> 修正的Kleene系统
1.
Theory of generalized tautology in sub-algebras of revised Kleene system
修正的Kleene系统中子代数的广义重言式理论
2.
In Parameter Kleene System Generalized Three-I Algorithm;
参数Kleene系统中广义三-I算法的变化
3.
Triple Ⅰ Method in Parametric Kleene s Systems;
参数Kleene系统中的广义三-I算法
4.
A King of New Kleene Dienes 4 value Logic System K 2 4 Associated with a Nonlinear Ordering Evaluation Lattice;
赋值格为非线性序的KleeneDienes四值逻辑系统K_4~2
5.
The methods of error correction and its equation are also discussed.
并讨论修正系统误差的方法或修正计算公式.
6.
The Generalized Contradictory Theory in Revised Product Logical System;
修正的Product逻辑系统中的广义矛盾式
7.
Fixed a crash bug within Cobalt systems.
修正了一个 Cobalt 系统力的漏洞
8.
Femtosecond Electron Diffraction System Based on the Relativity Correction
基于相对论修正的飞秒电子衍射系统
9.
Principle and application to GPS Mileage Automatic Calibration System
GPS里程自动修正系统的原理与应用
10.
Found a Bug in NetBsd Operating System Network Source and Fix It
NetBsd操作系统网络部分ICMP缺陷的修正
11.
Modified Projective Synchronization of the Fractional Lorenz Chaotic System
分数阶Lorenz混沌系统的修正投影同步
12.
Mass Transit Railway Modified Initial System
地下铁路修正早期系统
13.
A Condition of the Kleene Algebra as a Direct Product;
Kleene代数有直积分解的一个条件
14.
The Characteristic and Minimization of Kleene Logic Functions;
Kleene逻辑函数的特征与极小化
15.
Research and Design of Temporal GIS Based on the Base State Amending Model;
基于基态修正模型的时态GIS系统的研究与设计
16.
Revision of simplified axiom systems of R_0-algebras and its independence;
关于R_0代数公理系统的简化与独立性的修正
17.
THE EXAMPLE OF CORRECTION TO SYSTEM ERROR CAUSED BY RESTRAINT CONDITION OF THEORY FORMULA;
理论公式的约束条件造成的系统误差修正实例
18.
SSR Modified Unscented JPDA Tracking for Multisensor Asynchronous System
带SSR修正的异步多传感器系统的无味JPDA跟踪