検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Edinburgh LCF : a mechanised logic of computation / Michael J. Gordon, Arthur J. Milner, Christopher P. Wadsworth T2 Lecture notes in computer science A1 *Gordon, Michael J. C., 1948- A1 Milner, Robin, 1934- A1 Wadsworth, Christopher P., 1946- YR 1979 FD 1979 VO : gw VO : us SP viii, 159 p. K1 Edinburgh LCF (Computer system) K1 Computable functions -- Data processing PB Springer-Verlag PP Berlin ; New York SN 3540097244 SN 0387097244 LA English (英語) CL LCC:QA9.59 CL DC:510/.8 s CL DC:001.6/4 NO Bibliography: p. [153]-157 NO Includes index NO 書誌ID=1000014658; NCID=BA07298877; LK [OPAC]https://libop-nifs.nifs.ac.jp/opac/opac_link/bibid/1000014658 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA07298877; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=3540097244 OL 30