| Judul | Lambda-calculus, combinators and functional programming |
| Pengarang | Revesz, G.E. |
| Penerbitan | Cambridge : Cambridge University Press 1988 |
| Deskripsi Fisik | x, 181 hlm.25 cm |
| Subjek | Logika simbolis dan matematis |
| Target Pembaca | Tidak diketahui / tidak ditentukan |
| No Barcode | No. Panggil | Akses | Lokasi | Ketersediaan |
|---|---|---|---|---|
| 324491112 | 511.3 Rev l | Dapat dipinjam | Perpustakaan Pusat - RBU KKC Koleksi Umum |
Tersedia
pesan |
| Tag | Ind1 | Ind2 | Isi |
| 001 | INLIS000000000005695 | ||
| 008 | # | # | ###################################N## |
| 035 | # | # | $a 0010-0317005693 |
| 082 | # | # | $a 511.3 |
| 084 | # | # | $a 511.3 Rev l |
| 100 | # | # | $a Revesz, G.E. |
| 245 | # | # | $a Lambda-calculus, combinators and functional programming |
| 260 | # | # | $a Cambridge : $b Cambridge University Press $c 1988 |
| 300 | # | # | $a x, 181 hlm. ; $c 25 cm |
| 650 | # | # | $a Logika simbolis dan matematis |
| 990 | # | # | $a 324491112 |
Content Unduh katalog
Karya Terkait :