コンピュータ サイエンス ニオケル ヨウソウ ロンリ
コンピュータサイエンスにおける様相論理 / 鹿島亮著
データ種別 | 図書 |
---|---|
著者標目 | 鹿島, 亮 <カシマ, リョウ> |
出版者 | 東京 : 森北出版 |
出版年 | 2022.1 |
書誌詳細を非表示
別書名 | 標題紙タイトル:Modal logics in computer science 異なりアクセスタイトル:様相論理 : コンピュータサイエンスにおける |
---|---|
巻次 | ISBN:9784627856417 ; PRICE:3200円+税 |
大きさ | vii, 165p : 挿図 ; 22cm |
本文言語 | 日本語 |
一般注記 | 参考文献: p162-163 |
件 名 | BSH:記号論理学 BSH:様相(論理学) NDLSH:情報科学 NDLSH:様相 (論理学) |
分 類 | NDC9:410.96 NDC10:410.96 NDLC:M121 NDC10:007 |
書誌ID | 1000241587 |
ISBN | 9784627856417 |
NCID | BC12324744 |