Der übertypisierte Lambda-Kalkül.
保存先:
| 第一著者: | |
|---|---|
| フォーマット: | 図書 |
| 言語: | ドイツ語 |
| 出版事項: |
Karlsruhe
Univ., Fak.f.Informatik
1975
|
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|
| Order eBook: |
|
| Order Book: | Login to order |
MARC
| LDR | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | 2009174 | ||
| 007 | tu | ||
| 041 | |a ger | ||
| 100 | 1 | |a Raulefs, Peter | |
| 245 | 1 | 0 | |a Der übertypisierte Lambda-Kalkül. |
| 246 | 3 | |a Raulefs, Peter | |
| 264 | 1 | |a Karlsruhe |b Univ., Fak.f.Informatik |c 1975 | |
| 300 | |a V, 184 S. | ||
| 500 | |a Raulefs, Peter -- Der übertypisierte Lambda-Kalkül. -- 1975. V, 184 S. -- Karlsruhe, Univ., Fak.f.Informatik, Diss.1975. | ||
| 852 | |c D 160.556 | ||
| 999 | |a Dissertation | ||
| 591 | |a description: 1975. V, 184 S. Karlsruhe, Univ., Fak.f.Informatik, Diss.1975. |a signature: D 160.556 |a author: Raulefs, Peter |a published: 1975 |a title: 1975 |