検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Computations in higher types A1 Moldestad, Johan 1946- YR 1977 FD 1977 K1 Recursive functions PB Springer-Verlag PP Berlin ; New York SN 0387081321 LA English (英語) CL LCC:QA3 CL LCC:QA9.615 CL DC:510/.8 s CL DC:511/.3 NO Includes index NO Bibliography: p. [195]-196 NO License restrictions may limit access NO 書誌ID=OB00846984; LK https://link.springer.com/openurl?genre=book&isbn=978-3-540-37425-1 DS 同志社大学OPAC OL 30