「resolution principle」を解説文に含む見出し語の検索結果(1~10/167件中)
読み方:どうしゅつげんり【英】:resolution principleロビンソン (J.A. Robinson) により1965年に提案された定理証明技法の1つである. 節形式で表現された論理式に対...
読み方:どうしゅつげんり【英】:resolution principleロビンソン (J.A. Robinson) により1965年に提案された定理証明技法の1つである. 節形式で表現された論理式に対...
読み方:どうしゅつげんり【英】:resolution principleロビンソン (J.A. Robinson) により1965年に提案された定理証明技法の1つである. 節形式で表現された論理式に対...
現在、削除の方針に従って、この項目の一部の版または全体を削除することが審議されています。削除についての議論は、削除依頼の依頼サブページで行われています。削除の議論中はこのお知らせを除去しないでください...
ナビゲーションに移動検索に移動国際連合安全保障理事会決議122日付:1957年1月24日形式:安全保障理事会決議会合:765回コード:S/3779文書:英語投票:賛成: 10 反対: 0...
ナビゲーションに移動検索に移動国際連合安全保障理事会決議122日付:1957年1月24日形式:安全保障理事会決議会合:765回コード:S/3779文書:英語投票:賛成: 10 反対: 0...
ナビゲーションに移動検索に移動国際連合安全保障理事会決議122日付:1957年1月24日形式:安全保障理事会決議会合:765回コード:S/3779文書:英語投票:賛成: 10 反対: 0...
ナビゲーションに移動検索に移動国際連合安全保障理事会決議122日付:1957年1月24日形式:安全保障理事会決議会合:765回コード:S/3779文書:英語投票:賛成: 10 反対: 0...
ナビゲーションに移動検索に移動導出原理(どうしゅつげんり、英: resolution principle)とは、ジョン・アラン・ロビンソン(英語版)により1965年に提案された[1...
ナビゲーションに移動検索に移動国際連合安全保障理事会決議54日付:1948年7月15日形式:安全保障理事会決議会合:338回コード:S/902文書:英語投票:賛成: 7 反対: 1 ...
< 前の結果 | 次の結果 >