<< 11121314151617181920 >>     

書誌番号	1000002181
言語	jpn : 日本語
メディア種別	本
NACSIS ID	BC12324744
和洋区分	和資料
書名	コンピュータサイエンスにおける様相論理
書名カナ	コンピュータ サイエンス ニオケル ヨウソウ ロンリ
その他タイトル	標題紙タイトル||Modal logics in computer science 異なりアクセスタイトル||様相論理 : コンピュータサイエンスにおける||ヨウソウ ロンリ : コンピュータ サイエンス ニオケル
著者名	鹿島亮著
出版事項	東京 : 森北出版, 2022.1
形態	vii, 165p ; 22cm
分類	NDC9版 : 410.96 NDC10 : 410.96 国立国会図書館分類表 : M121 NDC10 : 007
巻冊次表示	Vol No 巻書名 ISBN 表示価格 書籍リンク 1 9784627856417 3200円+税
著者名標目	鹿島, 亮||カシマ, リョウ DA16401306
件名	[普通件名] : 記号論理学 [普通件名] : 様相(論理学) [普通件名] : 情報科学 [普通件名] : 様相 (論理学)
注記	参考文献: p162-163

該当件数：1件

巻書名	所蔵ID	配架場所	請求記号	ステータス	返却予定日		予約数
	120172664	研究室	410.96 Ka76	持出禁止			0

[予約]：チェックした資料に対し予約申込を行います[請求]：チェックした資料に対し請求票を印刷します

<< 11121314151617181920 >>