検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Introduction to combinators and λ-calculus / J. Roger Hindley, Jonathan P. Seldin T2 London Mathematical Society student texts A1 Hindley, J. Roger A1 Seldin, Jonathan P YR 1986 FD 1986 VO : hard VO : pbk VO : pbk. SP 360 p. K1 Combinatory logic K1 Lambda calculus PB Cambridge University Press PP Cambridge [Cambridgeshire] SN 0521268966 SN 0521318394 LA English (英語) CL LCC:QA9.5 CL DC19:511/.6 CL NDC8:412.2 NO Bibliography: p. 340-352 NO Includes index NO 書誌ID=B000156037; NCID=BA00194319; LK [OPAC]https://opac.lib.juen.ac.jp/opac/opac_link/bibid/B000156037 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA00194319; [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/EqualFromForm?txt_isbn=0521268966 OL 30