Computations in higher types / Johan Moldestad
データ種別 | 電子書籍 |
---|---|
出版者 | Berlin ; New York : Springer-Verlag |
出版年 | 1977 |
書誌詳細を非表示
書誌ID | OB00846984 |
---|---|
本文言語 | 英語 |
一般注記 | Includes index Bibliography: p. [195]-196 License restrictions may limit access |
著者標目 | *Moldestad, Johan 1946- |
統一書名標目 | Lecture notes in mathematics (Springer-Verlag) ; |
件 名 | LCSH:Recursive functions |
分 類 | LCC:QA3 LCC:QA9.615 DC:510/.8 s DC:511/.3 |
巻冊次 | ISBN:0387081321 RefWorks出力(各巻) |
資料種別 | 機械可読データファイル |
目次・あらすじ