1.
incompleteness of formal system
形式系统的不完全性
2.
Formalization of Propositional Calculus Form Systems in Isabelle/HOL;
命题演算形式系统在Isabelle/HOL中的形式化
3.
The Format System Mode of Constructing Enterprises Safety Culture;
论企业安全文化建设的形式系统模式
4.
A Study of Form System-safety Culture of Enterprise and Its Assessment System;
企业安全文化形式系统及其评价系统研究
5.
The Formal System AS2 of Aristotelian Mixed Syllogism;
亚里士多德的混合三段论形式系统AS~2
6.
circular-cage dynode system
圆形鼠笼式倍增系统
7.
The Significant Form,the Research on Logo Guidance System
有意味的形式——标识导向系统形态诌议
8.
Formal Semantics of Architecture Model of Collaborative Systems
协同系统体系结构模型的形式化语义
9.
ring net for distributed processing system
分布式处理系统环形网络
10.
Network pattern of naval ship synthesized platform management
舰船综合平台管理系统网络形式探讨
11.
arranged or displayed systematically in table form.
系统地以表格的形式排列或显示。
12.
"To plan out in systematic, usually graphic form"
(通常以图表形式)进行系统地计划.
13.
The system volume information structure has an invalid disk style field.
系统卷信息结构的磁盘形式字段无效。
14.
The form of consciousness is the system of treble structures.
意识的形式是由三重结构组成的系统。
15.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
16.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
17.
Research on the Formal Design of Digital Hardware: Theories and Approaches;
数字系统形式设计的理论与方法研究
18.
Designing and Formal Analysis Communication Protocol of CBTC System;
CBTC系统通信协议的设计和形式化分析