Omodeo eugenio (25 Ergebnisse)
Sprache: Englisch
Verlag: Clarendon Press: Oxford University Press, Oxford, United Kingdom 1990
- Hardcover
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes KönigreichPsychoBabel & Skoob Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 39,59
EUR 14,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
hardcover. Zustand: Very Good. No Dust Jacket. Plastic protected hardcover. Pages are clean, binding is tight, and text remains clear. No dust jacket. T. Used.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Schwartz, Jacob T. T.; Cantone, Domenico; Omodeo, Eugenio G.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,73
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
On Sets and Graphs: Perspectives on Logic and Combinatorics
Omodeo, Eugenio G.; Policriti, Alberto; Tomescu, Alexandru I.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,95
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 82,77
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In English.
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Schwartz, Jacob T./ Cantone, Domenico/ Omodeo, Eugenio G./ Davis, Martin (Foreward By)
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 84,73
EUR 14,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 2011 edition. 433 pages. 9.25x6.25x1.25 inches. In Stock.
Sprache: Englisch
Verlag: Springer 2001
Serie: Monographs in Computer Science, Buch 16 von 16. Buch 16 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USARomtrade Corp.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 103,86
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
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 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes KönigreichPBShop.store UK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 110,63
EUR 5,83 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer International Publishing AG 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: PBShop.store US, Wood Dale, IL, USAPBShop.store US
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 117,60
Versand nach gratisVersand innerhalb von USAAnzahl: 1 verfügbar
PAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
On Sets and Graphs: Perspectives on Logic and Combinatorics
Omodeo, Eugenio G./ Policriti, Alberto/ Tomescu, Alexandru I.
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 103,22
EUR 14,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 275 pages. 9.50x6.50x1.00 inches. In Stock.
Sprache: Englisch
Verlag: Springer 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 108,93
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing 2018
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,98
EUR 62,26 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Fe…atures: explores the interrelationships between sets and graphs and their applications to finite combinatorics; introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a discussion on set universes; explains how sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs; investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets; presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant; contains numerous exercises, examples, definitions, problemsand insight panels.
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,98
EUR 63,06 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other. Features:… explores the interrelationships between sets and graphs and their applications to finite combinatorics; introduces the fundamental graph-theoretical notions from the standpoint of both set theory and dyadic logic, and presents a discussion on set universes; explains how sets can conveniently model graphs, discussing set graphs and set-theoretic representations of claw-free graphs; investigates when it is convenient to represent sets by graphs, covering counting and encoding problems, the random generation of sets, and the analysis of infinite sets; presents excerpts of formal proofs concerning graphs, whose correctness was verified by means of an automated proof-assistant; contains numerous exercises, examples, definitions, problemsand insight panels.
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 56,60
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. On Sets and Graphs | Perspectives on Logic and Combinatorics | Eugenio G. Omodeo (u. a.) | Taschenbuch | xix | Englisch | 2018 | Springer | EAN 9783319855363 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbiet…er: preigu.
Sprache: Englisch
Verlag: Springer 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: Speedyhen, Hertfordshire, Vereinigtes KönigreichSpeedyhen
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 111,03
EUR 47,59 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
Zustand: NEW.
Sprache: Englisch
Verlag: Springer 2017
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 152,55
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,34
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Zustand: New.
Sprache: Englisch
Verlag: Springer 2001
Serie: Monographs in Computer Science, Buch 16 von 16. Buch 16 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,80
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer 2011
Serie: Monographs in Computer Science, Buch 16 von 16. Buch 16 von 16 - Monographs in Computer Science
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 164,80
EUR 13,91 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
Sprache: Englisch
Verlag: Springer International Publishing, Springer 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 106,99
EUR 63,52 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspect…s of Davis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability,theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
Sprache: Englisch
Verlag: Springer International Publishing 2017
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 127,40
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
Weitere BilderSprache: Englisch
Verlag: Springer 2018
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Softcover
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 113,10
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Martin Davis on Computability, Computational Logic, and Mathematical Foundations | Eugenio G. Omodeo (u. a.) | Taschenbuch | Outstanding Contributions to Logic | xxvii | Englisch | 2018 | Springer | EAN 9783319824437 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 He…idelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing 2017
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 128,39
EUR 64,32 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The individual contributions touch on most of the core aspects of Da…vis' work and set it in a contemporary context. They analyse, discuss and develop many of the ideas and concepts that Davis put forward, including such issues as contemporary satisfiability solvers, essential unification, quantum computing and generalisations of Hilbert's tenth problem. The book starts out with a scientific autobiography by Davis, and ends with his responses to comments included in the contributions. In addition, it includes two previously unpublished original historical papers in which Davis and Putnam investigate the decidable and the undecidable side of Logic, as well as a full bibliography of Davis' work. As a whole, this book shows how Davis' scientific work lies at the intersection of computability,theoretical computer science, foundations of mathematics, and philosophy, and draws its unifying vision from his deep involvement in Logic.
Sprache: Englisch
Verlag: Springer New York 2001
Serie: Monographs in Computer Science, Buch 16 von 16. Buch 16 von 16 - Monographs in Computer Science
- Hardcover
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 180,46
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Gebunden. Zustand: New. An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.Wha.
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
Omodeo, Eugenio G. (Edited by)/ Policriti, Alberto (Edited by)
Sprache: Englisch
Verlag: Springer 2017
Serie: Outstanding Contributions to Logic, Buch 10 von 29. Buch 10 von 29 - Outstanding Contributions to Logic
- Hardcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 229,78
EUR 17,41 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Hardcover. Zustand: Brand New. 468 pages. 9.25x6.25x1.25 inches. In Stock.
Set Theory for Computing: From Decision Procedures to Declarative Programming With Sets
Cantone, Domenico/ Omodeo, Eugenio/ Policriti, Alberto/ Schwartz, J. T. (Foreward By)
Sprache: Englisch
Verlag: Springer Verlag 2014
Serie: Monographs in Computer Science, Buch 16 von 16. Buch 16 von 16 - Monographs in Computer Science
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 240,81
EUR 14,51 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 428 pages. 9.21x5.98x0.94 inches. In Stock.
