. .
Deutsch
Österreich
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Anmelden

Anmelden mit Facebook:

Registrieren
Passwort vergessen?


Such-Historie
Merkliste
Links zu eurobuch.at

Dieses Buch teilen auf…
Buchtipps
Aktuelles
Tipp von eurobuch.at
Werbung
FILTER
- 0 Ergebnisse
Kleinster Preis: 117,69 €, größter Preis: 117,69 €, Mittelwert: 117,69 €
Higher-Order Computability - John Longley
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Longley:
Higher-Order Computability - neues Buch

8, ISBN: 9783662479919

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages. In contrast to the well-known situation for first-order functions, it turns out that at higher types there are several different notions of computability competing for our attention, and each of these has given rise to its own strand of research. In this book, the authors offer an integrated treatment that draws together many of these strands within a unifying framework, revealing not only the range of possible computability concepts but the relationships between them. The book will serve as an ideal introduction to the field for beginning graduate students, as well as a reference for advanced researchers -, [SC: 0.00], Neuware, gewerbliches Angebot, 23.5x15.5x cm, [GW: 1039g]

Neues Buch Booklooker.de
Sparbuchladen
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher-Order Computability - John Longley
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Longley:
Higher-Order Computability - neues Buch

2015, ISBN: 3662479915

ID: 18064074066

[EAN: 9783662479919], Neubuch, [SC: 0.0], [PU: Springer-Verlag Gmbh Dez 2015], MATHEMATIK / INFORMATIK, COMPUTER; COMPUTERS COMPUTER SCIENCE, Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages. 575 pp. Englisch

Neues Buch ZVAB.com
AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
NEW BOOK Versandkosten:Versandkostenfrei (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher-Order Computability - John Longley
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Longley:
Higher-Order Computability - neues Buch

ISBN: 9783662479919

[ED: Buch], [PU: Springer-Verlag GmbH], Neuware - This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages., [SC: 0.00], Neuware, gewerbliches Angebot, 241x161x38 mm, [GW: 1011g]

Neues Buch Booklooker.de
Mein Buchshop
Versandkosten:Versandkostenfrei, Versand nach Deutschland (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher-Order Computability - Longley, John; Normann, Dag
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
Longley, John; Normann, Dag:
Higher-Order Computability - gebunden oder broschiert

2015, ISBN: 3662479915

ID: A25184617

Gebundene Ausgabe Mathematik / Informatik, Computer, COMPUTERS / Computer Science, mit Schutzumschlag neu, [PU:Springer-Verlag GmbH]

Neues Buch Achtung-Buecher.de
REDIVIVUS Buchhandlung Hanausch Reinhard, 93053 Regensburg
Versandkosten:Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.
Higher-Order Computability - John Longley; Dag Normann
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Longley; Dag Normann:
Higher-Order Computability - gebunden oder broschiert

2015, ISBN: 9783662479919

ID: 32573482

1st ed. 2015, Hardcover, Buch, [PU: Springer Berlin]

Neues Buch Lehmanns.de
Versandkosten:sofort lieferbar, , Versandkostenfrei innerhalb der BRD (EUR 0.00)
Details...
(*) Derzeit vergriffen bedeutet, dass dieser Titel momentan auf keiner der angeschlossenen Plattform verfügbar ist.

Details zum Buch
Higher-Order Computability (Theory and Applications of Computability)
Autor:

John Longley, Dag Normann

Titel:

Higher-Order Computability (Theory and Applications of Computability)

ISBN-Nummer:

This book offers a self-contained exposition of the theory of computability in a higher-order context, where 'computable operations' may themselves be passed as arguments to other computable operations. The subject originated in the 1950s with the work of Kleene, Kreisel and others, and has since expanded in many different directions under the influence of workers from both mathematical logic and computer science. The ideas of higher-order computability have proved valuable both for elucidating the constructive content of logical systems, and for investigating the expressive power of various higher-order programming languages. In contrast to the well-known situation for first-order functions, it turns out that at higher types there are several different notions of computability competing for our attention, and each of these has given rise to its own strand of research. In this book, the authors offer an integrated treatment that draws together many of these strands within a unifying framework, revealing not only the range of possible computability concepts but the relationships between them. The book will serve as an ideal introduction to the field for beginning graduate students, as well as a reference for advanced researchers

Detailangaben zum Buch - Higher-Order Computability (Theory and Applications of Computability)


EAN (ISBN-13): 9783662479919
ISBN (ISBN-10): 3662479915
Gebundene Ausgabe
Erscheinungsjahr: 2015
Herausgeber: Springer

Buch in der Datenbank seit 26.01.2016 22:59:16
Buch zuletzt gefunden am 01.07.2017 14:24:55
ISBN/EAN: 9783662479919

ISBN - alternative Schreibweisen:
3-662-47991-5, 978-3-662-47991-9


< zum Archiv...
Benachbarte Bücher