Başlık:
Combinatory logic : pure, applied and typed
Yazar:
Bimbo, Katalin, 1963, author.
ISBN:
9780429075285
Fiziksel Tanımlama:
1 online resource (xi, 345 pages)
Seri:
Discrete mathematics and its applications
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:
Elektronik Erişim:
Click here to view.Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 541654-1001 | QA9.5 .B56 2012 | Arıyor... | Arıyor... |