Başlık:
Combinatory logic pure, applied and typed
Yazar:
Bimb,̤ Katalin, 1963-
ISBN:
9781439800010
Yayın Bilgileri:
Boca Raton : Taylor & Francis, 2012.
Fiziksel Tanımlama:
xi, 345 p. : ill.
Seri:
Discrete mathematics and its applications
Seri Başlığı:
Discrete mathematics and its applications
İçerik:
1. Elements of combinatory logic -- 2. Main theorems -- 3. Recursive functions and arithmetic -- 4. Connections to ?-calculi -- 5. (In)equational combinatory logic -- 6. Models -- 7. Dual and symmetric combinatory logics -- 8. Applied combinatory logic -- 9. Typed combinatory logic.
Konu Terimleri:
Ayırtma:
Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 285121-1001 | ONLINE | Arıyor... | Arıyor... |