このページのリンク

コンピュータ サイエンス ニオケル ヨウソウ ロンリ
コンピュータサイエンスにおける様相論理 / 鹿島亮著

データ種別 図書
出版者 東京 : 森北出版
出版年 2022.1
本文言語 日本語
大きさ vii, 165p : 挿図 ; 22cm

所蔵情報を非表示

書庫2階 410.96:Ka763k
9784627856417 008352796

書誌詳細を非表示

別書名 標題紙タイトル:Modal logics in computer science
異なりアクセスタイトル:様相論理 : コンピュータサイエンスにおける
一般注記 参考文献: p162-163
著者標目 鹿島, 亮 <カシマ, リョウ>
件 名 BSH:記号論理学
BSH:様相(論理学)
分 類 NDC9:410.96
NDC10:410.96
巻冊次 ISBN:9784627856417 ; PRICE:3520円 REFWLINK
ISBN 9784627856417
NCID BC12324744
目次/あらすじ

 類似資料