用語

J-GLOBAL ID：201306040893094289

定理自動証明

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

自動化 (Automation)
自動化について
- 「自動化」ですべてを検索
- この用語の用語情報を見る
定理 (theorem)
定理について
- 「定理」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM