1、The satisfiability problem of conjunction normal form is an NP_complete problem.
合取范式可滿足性問題(簡稱SAT問題)是一個NP完全問題。

2、The satisfiability of conjunction normal form is a typical NP-complete problem.
合取范式可滿足性問題(簡稱SAT問題)是一個NP完全問題。

3、It is a Non First Normal Form database.
它是一個非正常的形式，第一數(shù)據(jù)庫。

4、The Normal form contains only one choice operator: wsp:ExactlyOne>>.
標準格式只包含一個可選操作符 wsp:ExactlyOne>。

5、restoring compressed information to its normal form for use or display.
把壓縮過的信息復原以使用或者顯示。

6、The definition of main normal form in discrete mathematics is revised appropriately.
對離散數(shù)學中主范式定義作了適當的修改。

7、Modern information science has become a new normal form of science.
現(xiàn)代信息科學已經(jīng)成為一種新的科學范式。

8、Modernity has its normal form and alienated form.
而現(xiàn)代性又有著它的合理形態(tài)與異化形態(tài)。

9、The Simplification of Boolean Algebraic Normal Form on Finite Fields GF(p)
有限域GF（p）上Boolean代數(shù)正規(guī)形的化簡

10、A Normal Form for XML DTD
XML DTD的一種范式

11、A GLOBAL ANALYSIS ON THE CONSTRUCTION OF DISJUNCTIVE NORMAL FORM (DNF)
對于析取范式的構造的一個全局性分析

normal form翻譯