Gesamtpreis (1 Artikel Artikel):
Versandziel:
barendregt henk (11 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (11)
- Magazine & Zeitschriften (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Comics (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Noten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Kunst, Grafik & Poster (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Fotografien (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Karten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Manuskripte & Papierantiquitäten (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Zustand Mehr dazu
- Neu (7)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Gut oder Befriedigend (3)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (3)
Sprache (3)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
The Lambda Calculus. Its Syntax and Semantics (Studies in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 28,85
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zien is geloven: exacte wetenschappers over spiritualiteit
Anbieter: Mooney's bookstore, Den Helder, Niederlande
Verkäuferbewertung 4 von 5 Sternen
Zustand: Very good.
-
A Lambda Calculus Satellite
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 45,56
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science, 806)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,08
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
A Lambda Calculus Satellite : (Reihe: Studies in Logic - Mathematical Logic and Foundations, Volume 94)
Sprache: Englisch
Verlag: College Publications, Rickmansworth, 2022
ISBN 10: 184890424X ISBN 13: 9781848904248
Anbieter: exlibris24 Versandantiquariat, Freiburg im Breisgau, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Gut. Einband mit geringen Gebrauchs-/Regalspuren - ansonsten sauberes und sehr gutes Exemplar. Hardcover. 598 Seiten. 1528 Gramm. 26x21cm. Englisch. XVI, 582 Seiten. Mit zahlreichen schwarzweißen Abbildungen.
-
Types for Proofs and Programs : International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains thoroughly refereed and revised full papers selected from the presentations at the first workshop held under the auspices of the ESPRIT Basic Research Action 6453 Types for Proofs and Programs in Nijmegen, The Netherlands, in May 1993.As the whole ESPRIT BRA 6453, this volume is devoted to the theoretical foundations, design and applications of systems for theory development. Such systems help in designing mathematical axiomatisation, performing computer-aided logical reasoning, and managing databases of mathematical facts; they are also known as proof assistants or proof checkers.
-
Lambda Calculus with Types (Perspectives in Logic)
Buch 3 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 110,35
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Zustand: Gut. Zustand: Gut | Seiten: 656 | Sprache: Englisch | Produktart: Bücher | The Lambda Calculus, treated in this book mainly in its untyped version, consists of a collection of expressions, called lambda terms, together with ways how to rewrite and identify these. In the parts conversion, reduction, theories, and models the view is respectively 'algebraic', computational, with more ('coinductive') identifications, and finally set-theoretic.The lambda terms are built up from variables, using application and abstraction. Applying a term F to M has as intention that F is a function, M its argument, and FM the result of the application. This is only the intention: to actually obtain the result one has to rewrite the expression FM according tothe reduction rules. Abstraction provides a way to create functions according to the effect when applying them.The power of the theory comes from the fact that computations, both terminating and infinite, can be expressed by lambda terms at a 'comfortable' level of abstraction.
-
Lambda Calculus With Types
Buch 3 von 17: Perspectives in LogicAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 159,56
EUR 23,35 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 700 pages. 9.84x7.09x1.97 inches. In Stock.
-
Lambda Calculus with Types
Buch 3 von 17: Perspectives in LogicSprache: Englisch
Verlag: Cambridge University Press, 2013
ISBN 10: 0521766141 ISBN 13: 9780521766142
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 209,97
EUR 9,18 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. 2013. 1st Edition. Hardcover. This handbook with exercises reveals the mathematical beauty of formalisms hitherto mostly used for software and hardware design and verification. Series: Perspectives in Logic. Num Pages: 856 pages, 52 b/w illus. 300 exercises. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 179 x 249 x 49. Weight in Grams: 1634. . . . . . Books ship from the US and Ireland.
-
Dirk van Dalen Festschrift
Verlag: Universiteit Utrecht Department of Philosophy
ISBN 10: 9039303355 ISBN 13: 9789039303351
Anbieter: Antiquariaat Looijestijn, Rotterdam, Niederlande
Verkäuferbewertung 5 von 5 Sternen
1993, viii, 229 pp., paperback, lichte sporen van gebruik.
