Gesamtpreis (1 Artikel Artikel):
Versandziel:
mark stickel (28 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (28)
- 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 (22)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (5)
- Gut oder Befriedigend (1)
- 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 (28)
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (15)
- Keine Print-on-Demand Angebote (17)
Sprache (1)
Preis
- Beliebiger Preis
- Weniger als EUR 20 (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- EUR 20 bis EUR 45
- Mehr als EUR 45
Gratisversand
- Kostenloser Versand nach USA (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Land des Verkäufers
Verkäuferbewertung
-
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New.
-
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,61
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,60
EUR 17,41 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Zustand: New. pp. 280.
-
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Artificial Intelligence, Band 449)
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 1990
ISBN 10: 3540528857 ISBN 13: 9783540528852
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert Broschiert. Zustand: Gut. XVI, 688 Seiten, Lecture Notes in Artificial Intelligence, Band 449. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Ehemaliges Bibliotheksexemplar: mit Klebeschildchen auf dem Cover und Innentitel, mit Stempeln auf dem Innentitel. 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: 968.
-
Automated Reasoning and Mathematics : Essays in Memory of William W. McCune
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642366740 ISBN 13: 9783642366741
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
-
Taschenbuch. Zustand: Neu. Automated Reasoning and Mathematics | Essays in Memory of William W. McCune | Maria Paola Bonacina (u. a.) | Taschenbuch | xx | Englisch | 2013 | Springer | EAN 9783642366741 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 113,55
EUR 17,41 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Automated Reasoning and Mathematics: Essays in Memory of William W. McCune (Lecture Notes in Computer Science, 7788)
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 104,00
EUR 29,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Automated Reasoning and Mathematics : Essays in Memory of William W. Mccune
Anbieter: GreatBookPrices, Columbia, MD, USA
Verkäuferbewertung 5 von 5 Sternen
EUR 134,03
EUR 2,31 Versand
Versand innerhalb von USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
-
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 280 | Sprache: Englisch | Produktart: Bücher | This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.
-
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 140,29
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science, 449)
Anbieter: BennettBooksLtd, Los Angeles, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: New. In shrink wrap. Looks like an interesting title!
-
Taschenbuch. Zustand: Neu. 10th International Conference on Automated Deduction | Kaiserslautern, FRG, July 24-27, 1990. Proceedings | Mark E. Stickel | Taschenbuch | xviii | Englisch | 1990 | Springer | EAN 9783540528852 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Zustand: New. pp. 708.
-
10th International Conference on Automated Deduction : Kaiserslautern, FRG, July 24-27, 1990. Proceedings
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 the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science.
-
10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24-27, 1990. Proceedings (Lecture Notes in Computer Science (449))
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 223,55
EUR 29,02 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Like New. Like New. book.
-
Automated Reasoning and Mathematics (eng)
Anbieter: Brook Bookstore On Demand, Napoli, NA, Italien
Verkäuferbewertung 5 von 5 Sternen
EUR 43,04
EUR 5,50 Versand
Versand von Italien nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: new. Questo è un articolo print on demand.
-
Automated Reasoning and Mathematics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Mrz 2013, 2013
ISBN 10: 3642366740 ISBN 13: 9783642366741
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer. The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics. 280 pp. Englisch.
-
Automated Reasoning and Mathematics
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 74,90
EUR 7,54 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 280 27 Illus.
-
Automated Reasoning and Mathematics
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 280.
-
Automated Reasoning and Mathematics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2013
ISBN 10: 3642366740 ISBN 13: 9783642366741
EUR 44,88
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Published in memory of William (Bill) W McCune, one of the founders of practical theorem proving and model building Includes personal recollections of Bill McCune by his colleagues Up-to-date results in automated reasoningThis Fests.
-
Automated Reasoning and Mathematics
Sprache: Englisch
Verlag: Springer, Springer Mär 2013, 2013
ISBN 10: 3642366740 ISBN 13: 9783642366741
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This Festschrift volume is published in memory of William W. McCune who passed away in 2011. William W. McCune was an accomplished computer scientist all around but especially a fantastic system builder and software engineer.The volume includes 13 full papers, which are presenting research in all aspects of automated reasoning and its applications to mathematics. These papers have been thoroughly reviewed and selected out of 15 submissions received in response to the call for paper issued in September 2011. The topics covered are: strategies, indexing, superposition-based theorem proving, model building, application of automated reasoning to mathematics, as well as to program verification, data mining, and computer formalized mathematics.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 280 pp. Englisch.
-
10th International Conference on Automated Deduction
Sprache: Englisch
Verlag: Springer Berlin Heidelberg Jul 1990, 1990
ISBN 10: 3540528857 ISBN 13: 9783540528852
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer Science. 708 pp. Englisch.
-
10th International Conference on Automated Deduction
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1990
ISBN 10: 3540528857 ISBN 13: 9783540528852
EUR 127,40
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also pres.
-
10th International Conference on Automated Deduction
Sprache: Englisch
Verlag: Springer, Springer Jul 1990, 1990
ISBN 10: 3540528857 ISBN 13: 9783540528852
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Proceedings of CADE-10. CADE is the major forum for research on all aspects of automated deduction. The CADE conferences have no peer in the concentration and quality of their automated deduction research contributions.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 708 pp. Englisch.
-
10th International Conference on Automated Deduction
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 223,20
EUR 7,54 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. Print on Demand pp. 708 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
-
10th International Conference on Automated Deduction
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. PRINT ON DEMAND pp. 708.
