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… Plus…
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… Plus…
booklooker.de buecher.de GmbH & Co. KG Frais d'envoiVersandkostenfrei, 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 - edition reliée, livre de poche
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 … Plus…
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 - edition reliée, livre de poche
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 … Plus…
booklooker.de |
Higher-Order Computability (Theory and Applications of Computability) Hardcover - edition reliée, livre de poche
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. Frais d'envoi 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… Plus…
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… Plus…
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 - edition reliée, livre de poche
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 … Plus…
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 - edition reliée, livre de poche
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 … Plus…
Higher-Order Computability (Theory and Applications of Computability) Hardcover - edition reliée, livre de poche
2015, ISBN: 3662479915
[EAN: 9783662479919], Neubuch, [PU: Springer], This item is printed on demand, Books
Données bibliographiques du meilleur livre correspondant
Auteur: | |
Titre: | |
ISBN: |
Informations détaillées sur le livre - Higher-Order Computability (Theory and Applications of Computability)
EAN (ISBN-13): 9783662479919
ISBN (ISBN-10): 3662479915
Version reliée
Livre de poche
Date de parution: 2015
Editeur: Springer
Livre dans la base de données depuis 2016-01-26T22:59:16+01:00 (Zurich)
Page de détail modifiée en dernier sur 2023-10-26T19:01:20+02:00 (Zurich)
ISBN/EAN: 9783662479919
ISBN - Autres types d'écriture:
3-662-47991-5, 978-3-662-47991-9
Autres types d'écriture et termes associés:
Auteur du livre: john norman, longley john, norm longley, dag normann
Titre du livre: higher order computability
Données de l'éditeur
Auteur: John Longley; Dag Normann
Titre: Theory and Applications of Computability; Higher-Order Computability
Editeur: Springer; Springer Berlin
571 Pages
Date de parution: 2015-11-17
Berlin; Heidelberg; DE
Imprimé / Fabriqué en
Langue: Anglais
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
Autres livres qui pourraient ressembler au livre recherché:
Dernier livre similaire:
9783662517116 Higher-Order Computability (Theory and Applications of Computability) (Longley, John, Normann, Dag)
< pour archiver...