用語

J-GLOBAL ID：201206015323483662

分離論理

電子計算機
同義語 (1件)：

分離論理体系 (separation logic system)
分離論理体系について
- 「分離論理体系」ですべてを検索

関連語 (3件)：

ヒープ (heap)
ヒープについて
- 「ヒープ」ですべてを検索
- この用語の用語情報を見る
プログラム検証 (program verification)
プログラム検証について
- 「プログラム検証」ですべてを検索
- この用語の用語情報を見る
分離 (separation)
分離について
- 「分離」ですべてを検索
- この用語の用語情報を見る

上位語 (1件)：

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

シソーラスmap：

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

前のページに戻る

TOP

BOTTOM