検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Symbolic logic and intelligent machines / Edmund C. Berkeley A1 Berkeley, Edmund Callis YR 1959 FD c1959 SP 203 p. K1 Artificial intelligence K1 Logic, Symbolic and mathematical PB Reinhold PP New York LA English (英語) CL LCC:QA76 CL DC:510.78 NO Includes bibliography NO 書誌ID=BB00056820; NCID=BA10066483; LK [OPAC]https://nierlib.nier.go.jp/opac/opac_link/bibid/BB00056820 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA10066483 OL 30