Gesamtpreis (1 Artikel Artikel):
Versandziel:
olivetti nicola (18 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (18)
- 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 (13)
- 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 (2)
Einband
Weitere Eigenschaften
- Erstausgabe (1)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (8)
Sprache (1)
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Advances in Modal Logic, Volume 13
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 27,56
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning with Analytic Tableaux and Related Methods. 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings.
Sprache: Englisch
Verlag: Berlin/ Heidelberg, Springer Berlin., 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
2007. 16 x 24 cm. X, 250 S. X, 250 p. softcover Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. (Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence). Sprache: Englisch.
-
Proof Theory for Fuzzy Logics (Applied Logic Series, 36).
Anbieter: Universitätsbuchhandlung Herta Hold GmbH, Berlin, Deutschland
Verbandsmitglied: GIAQ ILAB VDA
Verkäuferbewertung 4 von 5 Sternen
Softcover reprint of hardcover 1st ed. 2009. 15 x 23 cm. 284 pages. Paperback. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Sprache: Englisch.
-
Proof Theory for Fuzzy Logics (Applied Logic Series 36)
Sprache: Englisch
Verlag: Springer Science and Business Media B.V., London, 2010
ISBN 10: 9048181216 ISBN 13: 9789048181216
Anbieter: PsychoBabel & Skoob Books, Didcot, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 58,47
EUR 14,48 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Very Good. Paperback in very good condition. Light shelf wear only. Covers are clean, binding is sound and content is as unread. LW. Used.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, ... (Lecture Notes in Computer Science, 4548)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,61
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory for Fuzzy Logics
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Erstausgabe
23 x 15,5 cm. Zustand: Gut. 1. Auflage. VIII, 276 Seiten Innen sauberer, guter Zustand. Hardcover, Pappeinband, mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. - Applied Logic Series, Band 36. B06-04-06Y|A83 Sprache: Englisch Gewicht in Gramm: 570.
-
Automated Reasoning With Analytic Tableaux and Related Methods: 16th International Conference, Tableaux 2007, Aix En Provence, France, July 3-6, 2007, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,27
EUR 11,58 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 245 pages. 9.00x5.90x0.70 inches. In Stock.
-
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 91,16
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning: 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings (Lecture Notes in Artificial Intelligence, Band 9706)
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319402285 ISBN 13: 9783319402284
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert Broschiert. Zustand: Sehr gut. XX, 580 Seiten, Lecture Notes in Artificial Intelligence, Band 9706. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Schneller Versand und persönlicher Service - jedes Buch händisch geprüft und beschrieben - aus unserem Familienbetrieb seit über 25 Jahren. Eine Rechnung mit ausgewiesener Mehrwertsteuer liegt jeder unserer Lieferungen bei. Wir versenden mit der deutschen Post. Sprache: Englisch Gewicht in Gramm: 1020.
-
Automated Reasoning with Analytic Tableaux and Related Methods : 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2007
ISBN 10: 3540730982 ISBN 13: 9783540730989
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2007, held in Aix en Provence, France. It covers the wide range of logics, from intuitionistic and substructural logics to modal logics (including temporal and dynamic logics), from many-valued logics to nonmonotonic logics, and from classical first-order logic to description logics.
-
Taschenbuch. Zustand: Neu. Automated Reasoning with Analytic Tableaux and Related Methods | 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings | Nicola Olivetti | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2007 | Springer | EAN 9783540730989 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.
-
Goal-Directed Proof Theory (Applied Logic Series Volume 21)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 115,60
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Taschenbuch. Zustand: Neu. Automated Reasoning | 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings | Nicola Olivetti (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xx | Englisch | 2016 | Springer | EAN 9783319402284 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Proof Theory for Fuzzy Logics (Applied Logic Series, 36)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 140,03
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Proof Theory for Fuzzy Logics (Applied Logic Series, 36)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 140,03
EUR 13,88 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 8th International Joint Conference on Automated Reasoning, IJCAR 2016, held in Coimbra, Portugal, in June/July 2016. IJCAR 2014 was a merger of three leading events in automated reasoning, namely CADE (International Conference on Automated Deduction), FroCoS (International Symposium on Frontiers of Combining Systems) and TABLEAUX (International Conference on Automated Reasoning with Analytic Tableaux and Related Methods).The 26 revised full research papers and 9 system descriptions presented together with 4 invited talks were carefully reviewed and selected from 79 submissions. The papers have been organized in topical sections on satisfiability of Boolean formulas, satisfiability modulo theory, rewriting, arithmetic reasoning and mechanizing mathematics, first-order logic and proof theory, first-order theorem proving, higher-order theorem proving, modal and temporal logics, non-classical logics, and verification.
-
Automated Reasoning: 8th International Joint Conference, Ijcar 2016, Coimbra, Portugal, June 27 - July 2, 2016, Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 131,51
EUR 40,54 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 532 pages. 9.25x6.10x1.36 inches. In Stock.
-
Goal-Directed Proof Theory
Sprache: Englisch
Verlag: Kluwer Academic Publishers, 2000
ISBN 10: 0792364732 ISBN 13: 9780792364733
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Features a methodology for automated deduction in non-classical logics. In this book, the methodology is applied to a range of non-classical systems, covering intuitionistic, intermediate, modal and substructural logics. It can also be used as an introduction to these logical systems from a procedural perspective. Series: Applied Logic Series. Num Pages: 268 pages, biography. BIC Classification: HPL; PBCD. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 234 x 156 x 17. Weight in Grams: 576. . 2000. Hardback. . . . . Books ship from the US and Ireland.
