1.
Checking the Satisfiability of ALCN-concepts with a Complete DNF
完全析取范式检测ALCN-概念的可满足性
2.
A GLOBAL ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM (DNF)
对于析取范式的构造的一个全局性分析
3.
A Surface-based DNA Algorithm for the Conversion of Conjunctive Normal Form into Disjunctive Normal Form
合取范式化为析取范式的DNA表面计算
4.
quasi-prenex disjunctive kernel normal form function
拟前束析取核范式函数
5.
Nature,Value Orientation and Analytical Paradigm of Economics
经济学的本质、价值取向与分析范式
6.
An Investigation on the Algorithm for Decision of Validity of Disjunctive Normal Form (DNF) by the Triangle Form
用三角式判定析取范式永真性的算法研究
7.
AN ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM(DNF) BY MEANS OF EQUAL COVERING AND CONE FORM
用均覆盖和锥形式对析取范式的结构分析及其近似快速求解算法
8.
The satisfiability problem of conjunction normal form (abbreviate SAT problem) is an NP_complete problem.
合取范式可满足性问题(简称SAT问题)是一个NP完全问题。
9.
quasi-prenex conjunctive kernel normal form function
拟前束合取核范式函数
10.
For this purpose, teachers can take the measure of demonstrating performance, audio-visual media and text analysis.
教学可采取示范性的表演、电教手段、课文分析等多种形式。
11.
Globalization’s Effects on the Analytic Unit and the Thinking Pattern of Social Science;
全球化压力下的社会科学分析单位转换与思维范式创新
12.
The legal supervision of the e-business network security: from autonomy to norm
电子商务中网络安全的法律监管:从自治到规范——基于C2C模式的分析
13.
The Political Participation of Chinese Citizen: A New Tendency;
我国公民政治参与范式转换的新取向
14.
Time Process-Oriented Feature-Model Distilling and N-1 Static Security Analysis Research;
面向时间过程的特征模式提取及N-1静态安全分析研究
15.
Development of Combustion Analyzer and Multi-pulse Injection System Used on Total Cylinder Dumpling Apparatus;
全气缸取样装置中燃烧分析系统及多脉冲喷油模式的开发
16.
Safety regulations of belt conveyor
GB/T14784-1993带式输送机安全规范
17.
GLOBAL DATA MODEL──INF RELATION MODEL
全局数据模型──非一范式关系模型
18.
On A New Mode of Equipment Management--All-Members Standardized Management;
论设备管理新模式——全员规范性管理