Gesamtpreis (1 Artikel Artikel):
Versandziel:
fermüller (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 (8)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (1)
- Gut oder Befriedigend (2)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
- alle Einbände
- Hardcover (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Softcover (11)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (5)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Handbook of Mathematical Fuzzy Logic, Volume 3
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,91
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Understanding Vagueness. Logical, Philosophical and Linguistic Perspectives (Studies in Logic)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 24,91
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Resolution Methods for the Decision Problem (Lecture Notes in Computer Science 679)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. 205 pp., softcover, ex library, else text clean & binding tight. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
-
Resolution Methods for the Decision Problem (Lecture Notes in Computer Science, 679)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,65
EUR 13,89 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Resolution Methods for the Decision Problem. ( = Lecture Notes in Artificial Intelligence, 679) .
Anbieter: ralfs-buecherkiste, Herzfelde, MOL, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Gut. 205 Entscheidungsproblem Ex-Library. Stamped edges. Cover with small damage. Guter Zustand/ Good Ex-Library. Stamped edges. ha1054923 Sprache: Englisch Gewicht in Gramm: 300.
-
Resolution Methods for the Decision Problem
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 work on the decision problem done inKazan (Russia), Tallinn (Estonia), and Vienna (Austria). Theauthors met several times to discuss and exchange theirresults and finally decided to write this monographtogether. Besides a unified treatment of previouslypublished results there are many new results first presentedin this volume.The monograph opens with an introduction and a chapter onterminology, followed by chapters on: Semantic clash resolution as decision procedure Completeness of ordering refinements Semantic tree based resolution variants Deciding the class K by an ordering refinement A resolution based method for building finite models.A final chapter on applications completes the volume.
-
Taschenbuch. Zustand: Neu. Resolution Methods for the Decision Problem | C. Fermüller (u. a.) | Taschenbuch | xii | Englisch | 1993 | Springer | EAN 9783540567325 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Logic for Programming, Artificial Intelligence, and Reasoning
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 364216241X ISBN 13: 9783642162411
Zustand: New.
-
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, . Computer Science and General Issues)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 158,94
EUR 14,49 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 656 pages. 9.10x6.20x1.20 inches. In Stock.
-
Logic for Programming, Artificial Intelligence, and Reasoning : 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010, Proceedings
Sprache: Englisch
Verlag: Springer, Berlin, Springer, 2010
ISBN 10: 364216241X ISBN 13: 9783642162411
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Neuware - This volume contains the research papers presented at the 17th International Conference on Logic for Programming, Arti cial Intelligence, and Reasoning (LPAR-17), held in Yogyakarta, Indonesia, October 10 15, 2010, accompanied by the 8th International Workshop on the Implementation of Logic (IWIL-8, organized by Eugenia Ternovska, Stephan Schulz, and Geo Sutcli e) and the 5th International Workshop on Analytic Proof Systems (APS-5, organized by Matthias Baaz and Christian Fermuller ). The call for papers attracted 133 abstract submissions of which 105 ma- rialized into full submissions, each of which was assigned for reviewing to at least three Program Committee members; 41 papers were accepted after - tense discussions. Once more the EasyChair system provided an ideal platform for submission, reviewing, discussions, and collecting nal versions of accepted papers. The program included three invited talks by Krishnendu Chatterjee, Joseph Halpern, and Michael Maher, as well as an invited tutorial by Norbert Preining. They are documented by the corresponding papers and abstract, respectively, in these proceedings, which this year appear for the rst time in the ARCoSS subline of the Lecture Notes in Computer Science.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 656 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
