用語
J-GLOBAL ID：201106070740505354
自動定理証明
主題カテゴリー：
主題カテゴリー
用語の主な分野です
電子計算機
関連語 (1件)：
自動化
(Automation)
自動化 について
「自動化」ですべてを検索
この用語の用語情報を見る
上位語 (1件)：
定理証明
(theorem proving)
定理証明 について
「定理証明」ですべてを検索
この用語の用語情報を見る
シソーラスmap：
シソーラスmap
※学術用語集由来のみの同義語は表示されません
前のページに戻る
TOP
BOTTOM
