Da: WeBuyBooks, Rossendale, LANCS, Regno Unito
EUR 15,54
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Like New. Most items will be dispatched the same or the next working day. An apparently unread copy in perfect condition. Dust cover is intact with no nicks or tears. Spine has no signs of creasing. Pages are clean and not marred by notes or folds of any kind.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 22,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: College Publications 7/11/2023, 2023
ISBN 10: 1848904363 ISBN 13: 9781848904361
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. A Century since Principia's Substitution Bedazzled Haskell Curry. In Honour of Jonathan Seldin's 80th Anniversary. Book.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 22,81
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 22,92
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 23,35
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Lingua: Inglese
Editore: College Publications 10/18/2023, 2023
ISBN 10: 1848904436 ISBN 13: 9781848904439
Da: BargainBookStores, Grand Rapids, MI, U.S.A.
Paperback or Softback. Condizione: New. A Primer of Mathematical Analysis and the Foundations of Computation. Book.
Da: California Books, Miami, FL, U.S.A.
EUR 26,15
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 28,61
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 32,10
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
EUR 37,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 24,55
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 27,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 24,49
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 26,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 27,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 29,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,09
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 68,52
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
EUR 39,14
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Condizione: New. 1st ed. 2021 edition NO-PA16APR2015-KAP.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030810968 ISBN 13: 9783030810962
Da: Revaluation Books, Exeter, Regno Unito
EUR 79,30
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 269 pages. 9.25x6.10x0.57 inches. In Stock.
Condizione: New.
EUR 25,67
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: Rarewaves.com UK, London, Regno Unito
EUR 28,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 107,95
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: preigu, Osnabrück, Germania
EUR 50,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Intelligent Computer Mathematics | 14th International Conference, CICM 2021, Timisoara, Romania, July 26-31, 2021, Proceedings | Fairouz Kamareddine (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2021 | Springer | EAN 9783030810962 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 58,39
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021\*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.\* The conference was held virtually due to the COVID-19 pandemic.
Da: Buchpark, Trebbin, Germania
EUR 17,45
Quantità: 2 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Seiten: 282 | Sprache: Englisch | Produktart: Bücher | In 1922, Curry started reading Principia Mathematica and was intrigued by the complications of its substitution rule. As a result of trying to analyze substitution, Curry conceived the combinators in 1926. This collection is dedicated to Jonathan Seldin's 80th anniversary. Seldin is the penultimate PhD student of Curry and the guardian of Curry's paradigm. The search at the beginning of the 20th century for powerful systems that combine computations and deductions (functions and logic) and that are able to formalise mathematics has led to the birth of the mighty ¿-calculus of Church, Combinatory Logic of Curry and Category Theory of Eilenberg and Mac Lane, all of which are well represented in this collection. The struggle for internalising as much as possible while keeping the system consistent is clear in the evolution of the ¿-calculus and combinatory logic and can be felt again in the articles in this volume. Similarly, the struggle for elegant theories that minimise the number of basic concepts while remaining as close as possible to the language's structure is clear. Generalising concepts, connecting areas that may seem far apart and applying useful techniques from one area to the other is also represented well in this volume where for example notions like coherence, confluence, commuting diagrams, are extended between ¿-calculus, rewriting systems and category theory, and where embedding relations are given to allow a lot of disciplines from logic to mathematics to computer science to meet.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 116,53
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.