「Conjunctive」の共起表現一覧(1語右で並び替え)
該当件数 : 19件
| definitions of the language specified by a | conjunctive grammar exist. |
| Though the expressive means of | conjunctive grammars are greater than those of context- |
| Conjunctive grammars are a class of formal grammars stu | |
| A further extension of | conjunctive grammars known as Boolean grammars addition |
| Besides explicit conjunction, | conjunctive grammars allow implicit disjunction represe |
| Put the formula into | conjunctive normal form. |
| proof theory (of classical logic), e.g. in | conjunctive normal form and the method of resolution. |
| Conjunctive Normal Form Satisfiability: SAT solvers ret | |
| In the context of a formula in the | conjunctive normal form, a literal is pure if the liter |
| A 2-satisfiability instance in | conjunctive normal form can be transformed into an impl |
| on normal form can be put into the stronger | conjunctive normal form or disjunctive normal form by a |
| iability of propositional logic formulae in | conjunctive normal form, i.e. for solving the CNF-SAT p |
| atisfiable boolean propositional formula in | conjunctive normal form, a subset of clauses whose conj |
| enex normal form formula whose matrix is in | conjunctive normal form with all Horn clauses. |
| e theory of relational databases, a Boolean | conjunctive query is a conjunctive query without distin |
| m) and Employed (unary, who is employed), a | conjunctive query could be . |
| This is because Mahpach is a | conjunctive, showing a connection with the word that fo |
| g are the simply typed lambda calculus with | conjunctive types and System F<:. |
| ervoir and hydropower operations, exploring | conjunctive use of groundwater and surface water, evalu |
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|
こんにちは ゲスト さん
|
ログイン |
Weblio会員(無料)になると
|