用語

J-GLOBAL ID：200906093127389203

タブロー法

数学
関連語 (2件)：

高階論理 (higher order logic)
高階論理について
- 「高階論理」ですべてを検索
- この用語の用語情報を見る
様相論理 (modal logic)
様相論理について
- 「様相論理」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM