Der übertypisierte Lambda-Kalkül.
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | Γερμανικά |
| Έκδοση: |
Karlsruhe
Univ., Fak.f.Informatik
1975
|
| Ετικέτες: |
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Order eBook: |
|
| Order Book: | Login to order |
| Περιγραφή τεκμηρίου: | Raulefs, Peter -- Der übertypisierte Lambda-Kalkül. -- 1975. V, 184 S. -- Karlsruhe, Univ., Fak.f.Informatik, Diss.1975. |
|---|---|
| Φυσική περιγραφή: | V, 184 S. |