Mendeley出力
コンピュータ サイエンス ニオケル ヨウソウ ロンリ
コンピュータサイエンスにおける様相論理 / 鹿島亮著
| データ種別 | 図書 |
|---|---|
| 著者標目 | 鹿島, 亮 <カシマ, リョウ> |
| 出版者 | 東京 : 森北出版 |
| 出版年 | 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 |