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