資料詳細

  • 1 件中、 1 件目

コンピュータサイエンスにおける様相論理 利用可

鹿島　亮／著 -- 森北出版 -- 2022.1 -- 007

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 007/ｶｼﾏ/一般Ｈ 121639995 一般 利用可

ページの先頭へ

資料詳細

タイトル コンピュータサイエンスにおける様相論理
書名ヨミ コンピュータ　サイエンス　ニ　オケル　ヨウソウ　ロンリ
著者名 鹿島　亮 ／著  
著者ヨミ カシマ，リョウ  
出版者 森北出版  
出版年 2022.1
ページ数等 １６５ｐ
大きさ ２２ｃｍ
一般注記 欧文タイトル：Ｍｏｄａｌ　Ｌｏｇｉｃｓ　ｉｎ　Ｃｏｍｐｕｔｅｒ　Ｓｃｉｅｎｃｅ
一般件名 情報科学 , 様相（論理学）  
ISBN 4-627-85641-5
ISBN13桁 978-4-627-85641-7
定価 ３２００円
問合わせ番号（書誌番号） 1120453037
NDC8版 007
NDC9版 007
NDC10版 007
著者紹介 １９８８年東京工業大学理学部情報科学科卒業。１９９１年東京工業大学理工学研究科情報科学専攻博士課程中退。北陸先端科学技術大学院大学助手などを経て、現在は東京工業大学情報理工学院准教授。博士（理学）。（本データはこの書籍が刊行された当時に掲載されていたものです） 

ページの先頭へ

内容一覧

タイトル 著者名 ページ
第１章　準備：命題論理
第２章　Ｋ
第３章　ＣＴＬ
第４章　様相ミュー計算
第５章　ＰＤＬ
第６章　ホーア論理

ページの先頭へ