2017, ISBN: 9783662479919
[ED: Buch], [PU: Springer Berlin Heidelberg], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations… Altro …
booklooker.de |
2015, ISBN: 9783662479919
[ED: Hardcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Altro …
booklooker.de buecher.de GmbH & Co. KG Costi di spedizione:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
Higher-Order Computability | Dag Normann (u. a.) | Buch | Theory and Applications of Computability | HC runder Rücken kaschiert | XVI | Englisch | 2015 | Springer Berlin | EAN 9783662479919 - copertina rigida, flessible
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Altro …
booklooker.de |
Higher-Order Computability / Dag Normann (u. a.) / Buch / Theory and Applications of Computability / HC runder Rücken kaschiert / XVI / Englisch / 2015 / Springer Berlin / EAN 9783662479919 - copertina rigida, flessible
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Altro …
booklooker.de |
Higher-Order Computability (Theory and Applications of Computability) Hardcover - copertina rigida, flessible
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
AbeBooks.de booksXpress, Freehold, NJ, U.S.A. [71410708] [Rating: 4 (von 5)] NEW BOOK. Costi di spedizione: EUR 8.97 Details... |
2017, ISBN: 9783662479919
[ED: Buch], [PU: Springer Berlin Heidelberg], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations… Altro …
2015, ISBN: 9783662479919
[ED: Hardcover], [PU: Springer / Springer Berlin Heidelberg / Springer, Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, whe… Altro …
Higher-Order Computability | Dag Normann (u. a.) | Buch | Theory and Applications of Computability | HC runder Rücken kaschiert | XVI | Englisch | 2015 | Springer Berlin | EAN 9783662479919 - copertina rigida, flessible
2015
ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Altro …
Higher-Order Computability / Dag Normann (u. a.) / Buch / Theory and Applications of Computability / HC runder Rücken kaschiert / XVI / Englisch / 2015 / Springer Berlin / EAN 9783662479919 - copertina rigida, flessible
2015, ISBN: 9783662479919
[ED: Gebunden], [PU: Springer Berlin], This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves … Altro …
Higher-Order Computability (Theory and Applications of Computability) Hardcover - copertina rigida, flessible
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
Dati bibliografici del miglior libro corrispondente
Autore: | |
Titolo: | |
ISBN: |
Informazioni dettagliate del libro - Higher-Order Computability (Theory and Applications of Computability)
EAN (ISBN-13): 9783662479919
ISBN (ISBN-10): 3662479915
Copertina rigida
Copertina flessibile
Anno di pubblicazione: 2015
Editore: Springer
Libro nella banca dati dal 2016-01-26T22:59:16+01:00 (Zurich)
Pagina di dettaglio ultima modifica in 2023-10-26T19:01:20+02:00 (Zurich)
ISBN/EAN: 9783662479919
ISBN - Stili di scrittura alternativi:
3-662-47991-5, 978-3-662-47991-9
Stili di scrittura alternativi e concetti di ricerca simili:
Autore del libro : john norman, longley john, norm longley, dag normann
Titolo del libro: higher order computability
Dati dell'editore
Autore: John Longley; Dag Normann
Titolo: Theory and Applications of Computability; Higher-Order Computability
Editore: Springer; Springer Berlin
571 Pagine
Anno di pubblicazione: 2015-11-17
Berlin; Heidelberg; DE
Stampato / Fatto in
Lingua: Inglese
171,19 € (DE)
175,99 € (AT)
189,00 CHF (CH)
POD
XVI, 571 p. 2 illus. in color.
BB; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; Mathematik; Informatik; Computability Models; Computability Theory; Intensional Models; Kleene Computability; Lambda Algebras; Theory of Computation; Mathematics of Computing; Mathematik für Informatiker; EA; BC
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.Valuable for researchers in mathematical logic and theoretical computer science Consolidates work carried out in this domain since the 1950s Asks what ‘computability’ means for data more complex than natural numbers
Altri libri che potrebbero essere simili a questo:
Ultimo libro simile:
9783662517116 Higher-Order Computability (Theory and Applications of Computability) (Longley, John, Normann, Dag)
< Per archiviare...