検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Print DC OPAC T1 Enumerability, decidability, computability : anintroduction to the theory of recursivefunctions / Hans Hermes ; translated byG.T. Hermann and O. Plassmann T2 Die Grundlehren der mathematischen Wissenschaften OT Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit A1 Hermes, Hans YR 1969 FD 1969 SP x, 245 p. K1 Algorithms K1 Recursive functions K1 Gödel''s theorem K1 Computable functions ED 2nd rev. ed PB Springer PP Berlin LA English (英語) CL LCC:QA248.5 CL DC:510/.01 NO 書誌ID=B000064261; NCID=BA03957927; LK [OPAC]https://opac.lib.juen.ac.jp/opac/opac_link/bibid/B000064261 LK [Webcat Plus]http://webcatplus-equal.nii.ac.jp/libportal/DocDetail?hdn_if_lang=jpn&txt_docid=NCID:BA03957927 OL 30