Gesamtpreis (1 Artikel Artikel):
Versandziel:
cantone omodeo (43 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (43)
- 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 (35)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (1)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (20)
- Keine Print-on-Demand Angebote (31)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
The Automation of Syllogistic, Vol. 2: Optimization and Complexity Issues
Anbieter: Forgotten Books, London, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 15,40
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbPaperback. Zustand: New. Print on Demand. This book introduces a series of mathematical formulas and techniques for evaluating set theories. These theories, called syllogistic schemes, are applicable to any finite collection of set variables, and easily demonstrate the satisfiability, or truth, of each. It has been shown that any formula can be broken down as a disjunction of syllogistic formulas. The initial part of this book focuses on refining the algorithm outlined above, while the second half explores complexity issues related to classes of set-theoretic formulas. The author proves that if a set of syllogistic schemes is non-empty, then it contains at least one minimum effort scheme, and that in order to check for satisfiability, only such schemes need to be sought. This search, though it involves backtracking, can be piloted quite effectively. This book will be of interest to mathematicians, logicians, and computer scientists. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book. print-on-demand item.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,25
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 68,06
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: New.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 69,69
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Zustand: New. pp. 436.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,48
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In English.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2011
ISBN 10: 0857298070 ISBN 13: 9780857298072
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,98
EUR 14,63 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 2011 edition. 433 pages. 9.25x6.25x1.25 inches. In Stock.
-
Set Theory For Computing - From Decision Procedures To Logic Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
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.
-
Computational Logic and Set Theory
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 109,84
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. 2011th.
-
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 112,13
EUR 29,27 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
Computational Logic and Set Theory : Applying Formalized Logic to Analysis
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Set Theory for Computing : From Decision Procedures to Declarative Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Buch 16 von 16: Monographs in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 166,20
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Buch 16 von 16: Monographs in Computer ScienceAnbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 166,20
EUR 14,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Computational Logic and Set Theory
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 102,74
EUR 76,09 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory. Topics and features: describes in depth how a specific first-order theory can be exploited to model and carry out reasoning in branches of computer science and mathematics; presents an unique system for automated proof verification in large-scale software systems; integrates important proof-engineering issues, reflecting the goals of large-scale verifiers; includes an appendix showing formalized proofs of ordinals, of various properties of the transitive closure operation, of finite and transfinite induction principles, and of Zorn's lemma.
-
Set Theory for Computing : From Decision Procedures to Logic Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 166,18
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Set Theory for Computing : From Decision Procedures to Logic Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 180,09
EUR 2,32 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Buch 16 von 16: Monographs in Computer ScienceAnbieter: California Books, Miami, FL, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: New.
-
Set Theory for Computing : From Decision Procedures to Logic Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 184,18
EUR 2,32 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Set Theory for Computing : From Decision Procedures to Declarative Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: As New. Unread book in perfect condition.
-
Set Theory for Computing : From Decision Procedures to Logic Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 183,67
EUR 17,56 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Set Theory for Computing
Buch 16 von 16: Monographs in Computer ScienceSprache: Englisch
Verlag: Springer-Verlag New York Inc., US, 2001
ISBN 10: 0387951970 ISBN 13: 9780387951973
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 211,98
Versand gratis
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbHardback. Zustand: New. 2001 ed. Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification; and automated deduction. The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to exploit it in specification and verification and master it by symbolic, logically based techniques and methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
-
Zustand: New. pp. 428.
-
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
Buch 16 von 16: Monographs in Computer ScienceEUR 180,97
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: 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.
-
Set Theory for Computing: From Decision Procedures to Declarative Programming With Sets
Buch 16 von 16: Monographs in Computer ScienceAnbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 238,67
EUR 14,63 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 428 pages. 9.21x5.98x0.94 inches. In Stock.
