Weblio 辞書 > 辞書・百科事典 > 連言標準形の解説 > 連言標準形の全文検索
「連言標準形」を解説文に含む見出し語の検索結果(21~30/240件中)

ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動計算複雑性理論における PCP とは、確率的検査可能証明(probabilistically checkable proof)系を持つ決定問題の複雑性クラスである。目次1...
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1&#...
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1&#...
計算複雑性理論において、指数時間仮説(Exponential time hypothesis)はまだ証明されていない計算量に関する予想であり、Impagliazzo & Paturi (1999)によ...
計算複雑性理論において、指数時間仮説(Exponential time hypothesis)はまだ証明されていない計算量に関する予想であり、Impagliazzo & Paturi (1999)によ...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...
.mw-parser-output .ambox{border:1px solid #a2a9b1;border-left:10px solid #36c;background-color:#fbfb...




カテゴリ一覧

全て

ビジネス

業界用語

コンピュータ

電車

自動車・バイク

工学

建築・不動産

学問

文化

生活

ヘルスケア

趣味

スポーツ

生物

食品

人名

方言

辞書・百科事典

すべての辞書の索引

   

英語⇒日本語
日本語⇒英語
   
検索ランキング

©2025 GRAS Group, Inc.RSS