Deutsch
Österreich
Anmelden
Tipp von eurobuch.at
Ähnliche Bücher
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Suchtools
Buchtipps
Aktuelles
Werbung
Bezahlte Anzeige
FILTER
- 0 Ergebnisse
Kleinster Preis: 117,69 €, größter Preis: 159,99 €, Mittelwert: 147,92 €
Higher-Order Computability - John Longley
Vergriffenes Buch, derzeit bei uns nicht verfügbar.
(*)
John Longley:
Higher-Order Computability - neues Buch

14, 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, DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x161x38 mm, 575, [GW: 1011g], offene Rechnung (Vorkasse vorbehalten), PayPal, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
Buchhandlung - Bides GbR
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

14, 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, DE, [SC: 0.00], Neuware, gewerbliches Angebot, 241x161x38 mm, 575, [GW: 1011g], PayPal, Banküberweisung, Internationaler Versand

Neues Buch Booklooker.de
buchversandmimpf2000
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 - Erstausgabe

2015, ISBN: 9783662479919

Gebundene Ausgabe

[ED: Gebunden], [PU: Springer, Berlin Springer Berlin Heidelberg Springer], Introduction and Motivation.- Historical Survey.- Theory of Computability Models.- Theory of Lambda Algebras.- Kleene Computability in a Total Setting.- Nested, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Hardcover, 571, [GW: 1024g], 1. Auflage 2015, PayPal

Neues Buch Booklooker.de
Moluna GmbH
Versandkosten:Versandkostenfrei. (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 - neues Buch

2015, ISBN: 3662479915

Buch, gebundene Ausgabe, 575 S., Beilagen: Book, Erschienen: 2015, Springer-Verlag GmbH

Neues Buch Buch24.de
No. 16354430. Versandkosten:DE (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, , Sans frais d'envoi en Allemagne. (EUR 9.95)
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)

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 28.06.2018 11:46:07
ISBN/EAN: 9783662479919

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


< zum Archiv...
Benachbarte Bücher