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>>.
標(biāo)準(zhǔn)格式只包含一個可選操作符 wsp:ExactlyOne>。

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

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

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

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)
對于析取范式的構(gòu)造的一個全局性分析

normal form翻譯

【計(jì)】 范式; 范式【經(jīng)】 正規(guī)形式, 標(biāo)準(zhǔn)形式 詳情