Detail Cantuman
Advanced Search
Normalisation in lambda calculus and its relation to type inference
- Bagikan:
Tidak Tersedia Deskripsi
Ketersediaan
| 071009TXBPU2007 | Tersedia |
Informasi Detil
| No. Panggil |
511.3
|
|---|---|
| Edisi |
1
|
| ISBN/ISSN |
90-386-0218-9
|
| Subyek | |
| DDC |
511.3
|
| TYPE |
TXB
|
| Bahasa |
English
|
| Penerbit | Eindhoven University of Technology : Eindhoven., 1996 |
| Deskripsi Fisik |
iv+291hlm.;24cm
|
| Info Detil Spesifik |
-
|
Literature Searching Service (LSS)
Hard copy atau foto copy dari buku ini dapat diberikan dengan syarat ketentuan berlaku, jika berminat, silahkan hubungi via telegram (Chat Services LSS)