Gesamtpreis (1 Artikel Artikel):
Versandziel:
artificial intelligence automated reasoning (21 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (21)
- 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 (9)
- Wie Neu, Sehr Gut oder Gut Bis Sehr Gut (7)
- Gut oder Befriedigend (5)
- Ausreichend oder Schlecht (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Wie beschrieben (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
Einband
Weitere Eigenschaften
- Erstausgabe (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Signiert (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Schutzumschlag (Keine weiteren Ergebnisse entsprechen dieser Verfeinerung)
- Angebotsfoto (11)
Sprache (2)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX'99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings . / Lecture Notes in Artificial Intelligence 1617)
Anbieter: Zubal-Books, Since 1961, Cleveland, OH, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. *Price HAS BEEN REDUCED by 10% until Monday, Dec. 22 (sale item)* 323 pp., Paperback, ex library, else text clean and 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.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings
Sprache: Englisch
Verlag: Springer Verlag, New York., 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Hardcover, 2002 edition. Library bound Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. LNAI 2385 [341 pages].
-
Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18â"21, . (Lecture Notes in Artificial Intelligence)
Anbieter: Books From California, Simi Valley, CA, USA
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: Very Good.
-
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings (Lecture Notes in Artificial Intelligence, Band 3097).
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 2004
ISBN 10: 3540223452 ISBN 13: 9783540223450
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 3097. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 491 Seiten, Englisch 754g.
-
Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008, Proceedings (Lecture Notes in Artificial Intelligence, Band 5195).
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 2008
ISBN 10: 3540710698 ISBN 13: 9783540710691
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Gut. Lecture Notes in Artificial Intelligence, Band 5195. Zust: Gutes Exemplar. Cover und einige Seiten mit Knicken. Mit Vorbesitzereintrag. XII, 556 Seiten, Englisch 842g.
-
Automated Reasoning: First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings (Lecture Notes in Artificial Intelligence, Band 2083).
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 2001
ISBN 10: 3540422544 ISBN 13: 9783540422549
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 2083. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 708 Seiten, Englisch 1030g.
-
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
Anbieter: PBShop.store US, Wood Dale, IL, USA
Verkäuferbewertung 5 von 5 Sternen
HRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Logic Programming And Automated Reasoning: International Conference Lpar *92 St. Petersburg, Russia, July 15-20, 1992 : Proceedings (lecture Notes In Artificial Intelligence 624)
Anbieter: 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.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Sprache: Deutsch
Verlag: Springer Verlag, Berlin Heidelberg New York, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Anbieter: Antiquariat WIE, Lollar, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: Gut. Zustand des Schutzumschlags: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Nein.
-
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 61,60
EUR 5,73 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 15 verfügbar
In den WarenkorbHRD. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
-
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings (Lecture Notes in Artificial Intelligence, Band 6173).
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 2010
ISBN 10: 3642142028 ISBN 13: 9783642142024
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 6173. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XII, 534 Seiten, Englisch 808g.
-
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 67,27
EUR 14,27 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbHardcover. Zustand: Brand New. 320 pages. 9.57x7.52x0.94 inches. In Stock.
-
Automated Reasoning: 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17,2018, Proceedings (Lecture Notes in Artificial Intelligence, Band 10900).
Sprache: Englisch
Verlag: Springer International Publishing, 2018
ISBN 10: 3319942042 ISBN 13: 9783319942049
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 10900. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. Buchschnitt leicht verschmutzt. XVIII, 724 Seiten, Englisch 1160g.
-
Automated Reasoning with Analytic Tableaux and Related Methods: 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, . (Lecture Notes in Artificial Intelligence)
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 78,94
EUR 7,42 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New.
-
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014 (Lecture Notes in Artificial Intelligence, Band 8562).
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319085867 ISBN 13: 9783319085869
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 8562. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XXVIII, 528 Seiten, Englisch 938g.
-
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. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 9706. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XX, 580 Seiten, Englisch 1020g.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2002
ISBN 10: 3540438653 ISBN 13: 9783540438656
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus.
-
EUR 68,25
EUR 48,99 shipping
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. Über den AutorMiroslav Kubat is an associate professor emeritus of Electrical and Computer Engineering at the University of Miami. He taught artificial intelligence and related courses for more than a quarter century. He has .
-
Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, Vienna, Austria, July 19-22, 2014, . / Lecture Notes in Artificial Intelligence)
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 81,82
EUR 39,97 shipping
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2014 edition. 556 pages. 9.30x6.20x1.26 inches. In Stock.
-
Automated Reasoning: Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings (Lecture Notes in Artificial Intelligence, Band 4130).
Sprache: Englisch
Verlag: Berlin, Heidelberg: Springer-Verlag, 2006
ISBN 10: 3540371877 ISBN 13: 9783540371878
Anbieter: Antiquariat Bernhardt, Kassel, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Broschiert. Zustand: Sehr gut. Lecture Notes in Artificial Intelligence, Band 4130. Zust: Gutes Exemplar. Mit Vorbesitzereintrag. XV, 680 Seiten, Englisch 958g.
-
Fundamentals of Artificial Intelligence: Problem Solving and Automated Reasoning
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Buch. Zustand: Neu. Neuware - A hands-on introduction to the principles and practices of modern artificial intelligence.
