用語

J-GLOBAL ID：201006016303188356

線形時間論理

数学
同義語 (2件)：

線形時相論理 (linear temporal logic)
線形時相論理について
- 「線形時相論理」ですべてを検索
線形時相論理 (linear time logic)
線形時相論理について
- 「線形時相論理」ですべてを検索

関連語 (1件)：

線形性 (linearity)
線形性について
- 「線形性」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

時間論理 (temporal logic)
時間論理について
- 「時間論理」ですべてを検索
- この用語の用語情報を見る

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM