áru
(üres)
Kapcsolat
Fiók 
\nIntroduction and Motivation.- Historical Survey.- Theory of Computability Models.- Theory of Lambda Algebras.- Kleene Computability in a Total Setting.- Nested Sequential Procedures.- PCF and Its Models.- Total Continuous Functionals.- Hereditarily Effective Operations.- Partial Continuous...
tovább
\n
Introduction and Motivation.- Historical Survey.- Theory of Computability Models.- Theory of Lambda Algebras.- Kleene Computability in a Total Setting.- Nested Sequential Procedures.- PCF and Its Models.- Total Continuous Functionals.- Hereditarily Effective Operations.- Partial Continuous Functionals.- Sequentially Realizable Functionals.- Some Intensional Models.- Related and Future Work.- References.- Index.
\n leírás elrejtése- Kiadó: Springer, Berlin
- Kód:
- Kiadás éve: 2016
- Nyelv: Angol
- Kötés: Puha kötésű
- Oldalak száma: 571
- Csomag szélessége: 15.5 cm
- Csomag magassága: 23.5 cm
Recenzió