検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Formal models and semantics A1 Leeuwen, Jan van YR 1990 FD 1990 VO : MIT Press SP xiv, 1273 p. K1 Computer science PB Elsevier PB MIT Press PP Amsterdam ; Tokyo PP Cambridge, Mass. SN 0262220393 LA English (英語) CL LCC:QA76 CL DC20:004 NO Includes bibliographical references and subject index (p. 1243-1273) NO 叢書名=Handbook of theoretical computer science / editor, Jan van Leeuwen ; v. B NO 書誌ID=BB00138546; NCID=BA11302537; LK https://doors.doshisha.ac.jp/opac/opac_details/?lang=0&amode=11&bibid=BB00138546 DS 同志社大学OPAC OL 30