<図書>

Challenges for action theories / Michael Thielscher

(Lecture notes in computer science;1775 . Lecture notes in artificial intelligence)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1775 2012821928

保存書庫

書誌詳細を非表示

出版者 Berlin : Springer
出版年 c2000
大きさ xiv, 138 p. : ill. ; 24 cm
一般注記 Includes bibliographical references (p. [127]-134) and index
著者標目 Thielscher, Michael
件 名 LCSH:Computer logic
LCSH:System design
LCSH:Formal methods (Computer science)
分 類 LCC:QA76.9.L63
本文言語 英語
書誌ID 2001203769
ISBN 3540674551
NCID BA46584468 WCLINK

検索結果一覧に戻る ページトップ