用語

J-GLOBAL ID：200906050047125808

定理証明

電子計算機
関連語 (2件)：

人工知能 (artificial intelligence)
人工知能について
- 「人工知能」ですべてを検索
- この用語の用語情報を見る
補題 (lemma)
補題について
- 「補題」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

証明 (proof (evidence))
証明について
- 「証明」ですべてを検索
- この用語の用語情報を見る

下位語 (4件)：

タブロー法 (Tableau approach)
タブロー法について
- 「タブロー法」ですべてを検索
- この用語の用語情報を見る
反例 (counterexample)
反例について
- 「反例」ですべてを検索
- この用語の用語情報を見る
自動定理証明 (Automated theorem proving)
自動定理証明について
- 「自動定理証明」ですべてを検索
- この用語の用語情報を見る
有界実補題 (Bounded real lemma)
有界実補題について
- 「有界実補題」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

シソーラスmap ※学術用語集由来のみの同義語は表示されません

前のページに戻る

TOP

BOTTOM