検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Challenges for action theories / Michael Thielscher T2 Lecture notes in computer science A1 Thielscher, Michael YR 2000 FD c2000 SP xiv, 138 p. K1 Computer logic K1 System design K1 Formal methods (Computer science) PB Springer PP Berlin SN 3540674551 LA English (英語) CL LCC:QA76.9.L63 NO Includes bibliographical references (p. [127]-134) and index NO 書誌ID=1001148277; NCID=BA46584468; LK [OPAC]https://www.lib.sophia.ac.jp/opac/opac_link/bibid/1001148277 OL 30