このページのリンク

引用にはこちらのURLをご利用ください

利用統計

  • このページへのアクセス:111回

  • 貸出数:0回
    (1年以内の貸出数:0回)

<図書>
Computations in higher types

責任表示 Johan Moldestad
シリーズ Lecture notes in mathematics ; 574
データ種別 図書
出版情報 Berlin ; New York : Springer-Verlag , 1977
本文言語 英語
大きさ 203 p. ; 25 cm
電子版へのリンク

所蔵情報



理系図3F 数理独自 SER/LNM/574 1977
068222480035811


理系図 自動書庫 410.8/L 493/(574) 1977
068582185006777

: Berlin 数理 雑誌室 SER/LNM/K574 1977
027232003285941

書誌詳細

一般注記 Bibliography: p. [195]-196
Includes index
著者標目 *Moldestad, Johan, 1946-
件 名 LCSH:Recursive functions
分 類 LCC:QA3
LCC:QA9.615
DC:510/.8 s
DC:511/.3
書誌ID 1000035120
ISBN 3540081321
NCID BA06592212
巻冊次 : Berlin ; ISBN:3540081321
: New York ; ISBN:0387081321
登録日 2009.09.10
更新日 2017.02.18