Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 25,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
Verlag: Palermo: Università di Palermo, Facoltà di Lettere e Filosofia 2004, 2004
OBrosch., 213 Seiten, 17 x 24 cm, untere Deckelkante berieben, obere Ecke bestoßen und Seitenecken etwas zerknittert, sonst perfekt. Book Language/s: Italian.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 52,66
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: London, College Publications, 2009
ISBN 10: 1904987923 ISBN 13: 9781904987925
Anbieter: Antiquariat Stefan Krüger, Essen, NRW, Deutschland
Kartoniert. IX, 380 S. Vol. 9. Oktn. 521 Gramm. Buch.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,28
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,29
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
EUR 74,87
Anzahl: 15 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2019
ISBN 10: 3030229955 ISBN 13: 9783030229955
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 79,96
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 450 pages. 9.25x6.10x0.75 inches. In Stock.
Zustand: New.
Zustand: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Sprache: Englisch
Verlag: Springer International Publishing AG, 2019
ISBN 10: 3319972251 ISBN 13: 9783319972251
Anbieter: Better World Books, Mishawaka, IN, USA
Zustand: Very Good. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2019
ISBN 10: 3030229955 ISBN 13: 9783030229955
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019.The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.
Taschenbuch. Zustand: Neu. Computing with Foresight and Industry | 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15-19, 2019, Proceedings | Florin Manea (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xii | Englisch | 2019 | Springer | EAN 9783030229955 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 114,98
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: Hervorragend. Zustand: Hervorragend | Seiten: 336 | Sprache: Englisch | Produktart: Bücher | This book constitutes the refereed proceedings of the 15th Conference on Computability in Europe, CiE 2019, held in Durham, UK, in July 2019. The 20 revised full papers presented were carefully reviewed and selected from 35 submissions. In addition, this volume includes 7 invited papers. The conference CiE 2018 had the following six special sessions: computational neuroscience, history and philosophy of computing, lowness notions in computability, probabilistic programming and higher-order computation, smoothed and probabilistic analysis of algorithms, and transnite computations.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 151,43
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 163,58
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 175,73
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 175,73
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. The Realism-Antirealism Debate in the Age of Alternative Logics | Shahid Rahman (u. a.) | Taschenbuch | xvi | Englisch | 2013 | Springer | EAN 9789400737839 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing, 2019
ISBN 10: 3319972251 ISBN 13: 9783319972251
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a historical and philosophical analysis of programming systems, intended as large computational systems like, for instance, operating systems, programmed to control processes. The introduction to the volume emphasizes the contemporary need of providing a foundational analysis of such systems, rooted in a broader historical and philosophical discussion.The different chapters are grouped around three major themes. The first concerns the early history of large systems developed against the background of issues related to the growing semantic gap between hardware and code. The second revisits the fundamental issue of complexity of large systems, dealt with by the use of formal methods and the development of `grand designs' like Unix. Finally, a third part considers several issues related to programming systems in the real world, including chapters on aesthetical, ethical and political issues.This book will interest researchers from a diversityof backgrounds. It will appeal to historians, philosophers, as well as logicians and computer scientists who want to engage with topics relevant to the history and philosophy of programming and more specifically the role of programming systems in the foundations of computing.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 364 | Sprache: Englisch | Produktart: Bücher | The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.
EUR 221,66
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 296 pages. 9.50x6.50x1.00 inches. In Stock.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. Information and Knowledge | A Constructive Type-theoretical Approach | Giuseppe Primiero | Taschenbuch | ix | Englisch | 2010 | Springer | EAN 9789048175567 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 223,54
Anzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 296 pages. 9.25x6.10x0.83 inches. In Stock.
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.
EUR 231,32
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The relation between logic and knowledge has been at the heart of a lively debate since the 1960s. On the one hand, the epistemic approaches based their formal arguments in the mathematics of Brouwer and intuitionistic logic. Following Michael Dummett, they started to call themselves `antirealists'. Others persisted with the formal background of the Frege-Tarski tradition, where Cantorian set theory is linked via model theory to classical logic. Jaakko Hintikka tried to unify both traditions by means of what is now known as `explicit epistemic logic'. Under this view, epistemic contents are introduced into the object language as operators yielding propositions from propositions, rather than as metalogical constraints on the notion of inference.The Realism-Antirealism debate has thus had three players: classical logicians, intuitionists and explicit epistemic logicians. The editors of the present volume believe that in the age of Alternative Logics, where manifold developments in logic happen at a breathtaking pace, this debate should be revisited. Contributors to this volume happily took on this challenge and responded with new approaches to the debate from both the explicit and the implicit epistemic point of view.