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出力（各巻） |
| 資料種別 | 機械可読データファイル |
目次・あらすじ