「Logic Programming」を解説文に含む見出し語の検索結果(151~160/428件中)
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1...
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1...
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1...
.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...
ペール・マルティン=レーフ(Per Martin-Löf)Per Martin-Löf in 2004生誕 (1942-05-08) 1942年5月8日(81歳)スウェーデンストックホルム[1...
ペール・マルティン=レーフ(Per Martin-Löf)Per Martin-Löf in 2004生誕 (1942-05-08) 1942年5月8日(81歳)スウェーデンストックホルム[1...
ナビゲーションに移動検索に移動インベンターのパラドックス[注釈 1](inventor's paradox)とは、与えられた問題の解法を求める際に起こる現象である。具体的な問題を解く方...
ナビゲーションに移動検索に移動インベンターのパラドックス[注釈 1](inventor's paradox)とは、与えられた問題の解法を求める際に起こる現象である。具体的な問題を解く方...
ナビゲーションに移動検索に移動インベンターのパラドックス[注釈 1](inventor's paradox)とは、与えられた問題の解法を求める際に起こる現象である。具体的な問題を解く方...