Gesamtpreis (1 Artikel Artikel):
Versandziel:
calmet jacques (45 Ergebnisse)
Direkt zu den wichtigsten Suchergebnissen
Suchfilter
Produktart
- Alle Product Types
- Bücher (45)
- 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 (31)
- 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 (2)
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 (24)
Sprache (3)
Gratisversand
Land des Verkäufers
Verkäuferbewertung
-
Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3 Steyr, Austria, September 23-25, 1996 Proceedings
Sprache: Englisch
Verlag: Springer Verlag, New York, 1996
ISBN 10: 3540617329 ISBN 13: 9783540617327
Anbieter: Doss-Haus Books, Redondo Beach, CA, USA
Verkäuferbewertung 5 von 5 Sternen
Hardcover. Zustand: Very Good. No Jacket. Hardcover 1996 library bound edition. Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. Series: Lecture Notes in Computer Science ;1138.[viii, 379 p. : ill. ; 24 cm].
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation
Sprache: Englisch
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: Befriedigend. Zustand des Schutzumschlags: Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Gebrauchsspuren, 341 Seiten. Nein.
-
Mathematical Methods in Computer Science
Anbieter: Majestic Books, Hounslow, Vereinigtes Königreich
Verkäuferbewertung 4 von 5 Sternen
EUR 30,48
EUR 7,54 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
In den WarenkorbZustand: New. pp. 208 Illus.
-
Global Integrability of Field Theories
Sprache: Englisch
Verlag: Karlsruhe, Universitätsverlag, 2006
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
8° Broschiert. Zustand: Sehr gut. 369 S. Leichte Lagerspuren, sonst wie neu. B02-03-02C Sprache: Englisch Gewicht in Gramm: 513.
-
Global integrability of field theories Proceedings of GIFT 2006, Cockcroft Institute, Daresbury (UK), November 1-3, 2006
Sprache: Englisch
Verlag: KIT Scientific Publishing 19.10.2006., 2006
ISBN 10: 3866440359 ISBN 13: 9783866440357
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
8° Paperback. Zustand: Sehr gut. 369 S. This volume contains the conference proceedings of the Workshop on Global Integrability of Field Theories GIFT 2006 (Cockcroft Institute, Daresbury, UK, 11-01-06 11-03-06), which served as the final conference of the European NEST project GIFT. Within its scope, hitherto unrelated results from various domains including algebraic topology, computer algebra, differential Galois theory, integrable systems, formal theory of differential equations and physical field theories were combined. B02-04-06F Sprache: Englisch Gewicht in Gramm: 513.
-
Artificial Intelligence and Symbolic Mathematical Computing- International Conference AISMC-1, Karlsuhe, Germany, August 1992 Proceedings Lecture Notes in Computer Science 737
Verlag: Springer, Berlin et.al., 1993
ISBN 10: 3540573224 ISBN 13: 9783540573227
Anbieter: Antiquariat Puderbach, Dresden, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.
-
Algebraic Algorithms and Error-Correcting Codes
Anbieter: Better World Books Ltd, Dunfermline, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 40,51
EUR 5,80 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 1 verfügbar
In den WarenkorbZustand: Very Good. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Internationale AusgabeMathematical Methods In Computer Science (Pb)
Anbieter: Romtrade Corp., STERLING HEIGHTS, MI, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Brand New. Soft Cover International Edition. Different ISBN and Cover Image. Priced lower than the standard editions which is usually intended to make them more affordable for students abroad. The core content of the book is generally the same as the standard edition. The country selling restrictions may be printed on the book but is no problem for the self-use. This Item maybe shipped from US or any other country as we have multiple locations worldwide.
-
Global Integrability of Field Theories
Anbieter: Herr Klaus Dieter Boettcher, Karlsruhe, BW, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Broschiert. Zustand: Sehr gut. 369 Seiten Auflage 2006.Broschiert, fast wie neu. Sprache: Deutsch Gewicht in Gramm: 523.
-
Artificial intelligence and symbolic computation. 8th international conference ; proceedings.
Sprache: Deutsch
Verlag: Springer, Berlin/Heidelberg/New York, 2006
ISBN 10: 3540397280 ISBN 13: 9783540397281
Anbieter: avelibro OHG, Dinkelscherben, Deutschland
Verbandsmitglied: BOEV
Verkäuferbewertung 5 von 5 Sternen
Zustand: Gut. XIII, 268 S., graph. Darst. Einband mit leichten Druckstellen. Kl. handschriftlicher Namenseintrag a. d. Vorsatz. Untere rechte Ecke leicht bestoßen, sonst tadellos erhalten. Lecture notes in computer science ; Vol. 4120 : Lecture notes in artificial intelligence. From the contents; Vorwort. Invited Presentations; Algebra and Geometry - Ineraction Between "Equations" and "Shapes"; Contributed Papers Artificial Intelligence and Theorem Proving; Symbolic Computation; Constraint Satisfaction/Solving; Mathematical Knowledge Management. Innen tadellos erhalten. deu B12-01-05B|GH52|8465DB Sprache: Deutsch Gewicht in Gramm: 444 24 cm. Original Broschur. Untere Ecke etwas bestoßen.
-
Artificial Intelligence and Symbolic Computation International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Sprache: Englisch
Verlag: Springer Berlin 02.09.1998., 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Anbieter: Roland Antiquariat UG haftungsbeschränkt, Weinheim, Deutschland
Verkäuferbewertung 5 von 5 Sternen
1998. 316 S. sehr guter Zustand --- This book constitutes the refereed proceedings of the International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery. 9783540649601 Sprache: Deutsch Gewicht in Gramm: 550.
-
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings
Sprache: Englisch
Verlag: Springer Berlin / Heidelberg, 1998
ISBN 10: 3540649603 ISBN 13: 9783540649601
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Very Good. 1998th Edition. Former library copy. Pages intact with possible writing/highlighting. Binding strong with minor wear. Dust jackets/supplements may not be included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Artificial Intelligence and Symbolic Computation: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 54,58
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings (Lecture Notes in Computer Science, 1128)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,69
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings (Lecture Notes in Computer Science, 737)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,69
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, AISMC-2, Cambridge, United Kingdom, August ... (Lecture Notes in Computer Science, 958)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,69
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Artificial Intelligence and Symbolic Computation: 13th International Conference, AISC 2018, Suzhou, China, September 16-19, 2018, Proceedings (Lecture Notes in Artificial Intelligence)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,69
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Artificial Intelligence and Symbolic Computation: International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings (Lecture Notes in Computer Science, 1476)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,69
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... (Lecture Notes in Computer Science, 2385)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 60,69
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth (Lecture Notes in Computer Science, 5393)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 71,70
EUR 13,90 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
-
Mathematical Methods in Computer Science: Essays in Memory of Thomas Beth
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2009
ISBN 10: 3540899936 ISBN 13: 9783540899938
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,00
EUR 11,60 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 2008 edition. 189 pages. 9.50x6.25x0.50 inches. In Stock.
-
Artificial Intelligence and Symbolic Computation: 13th International Conference, Aisc 2018, Suzhou, China, September 1619, 2018, Proceedings
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2018
ISBN 10: 3319999567 ISBN 13: 9783319999562
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 79,92
EUR 11,60 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 280 pages. 9.25x6.10x0.64 inches. In Stock.
-
Intelligent Computer Mathematics: 10th International Conference, Aisc 2010, 17th Symposium, Calculemus 2010 and 9th International Conference, Mkm 2010 Paris, France, July 5-10, 2010 Pr
Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
EUR 83,78
EUR 14,50 Versand
Versand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 469 pages. 9.00x6.00x1.00 inches. In Stock.
-
Intelligent Computer Mathematics
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2010
ISBN 10: 3642141277 ISBN 13: 9783642141270
EUR 48,74
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
-
Artificial Intelligence and Symbolic Computation : 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, 2014
ISBN 10: 3319137697 ISBN 13: 9783319137698
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 12th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2014, held in Seville, Spain, in December 2014. The 15 full papers presented together with 2 invited papers were carefully reviewed and selected from 22 submissions. The goals were on one side to bind mathematical domains such as algebraic topology or algebraic geometry to AI but also to link AI to domains outside pure algorithmic computing. The papers address all current aspects in the area of symbolic computing and AI: basic concepts of computability and new Turing machines; logics including non-classical ones; reasoning; learning; decision support systems; and machine intelligence and epistemology and philosophy of symbolic mathematical computing.
-
Mathematical Methods in Computer Science
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 2008
ISBN 10: 3540899936 ISBN 13: 9783540899938
EUR 64,08
EUR 48,99 Versand
Versand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
In den WarenkorbKartoniert / Broschiert. Zustand: New.
-
Integrating Symbolic Mathematical Computation and Artificial Intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers
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 thoroughly revised full versions of the best papers presented at the Second International Conference on Artificial Intelligence and Sympolic Mathematical Computation, held in Cambridge, UK in August 1994.The 19 papers included give clear evidence that now, after a quite long period when AI and mathematics appeared to have arranged an amicable separation, these fields are growing together again as an area of fruitful interdisciplinary activities. This book explores the interaction between mathematical computation and clears the ground for future concentration on topics that can further unify the field.
-
Artificial Intelligence and Symbolic Computation : International Conference AISC'98, Plattsburgh, New York, USA, September 16-18, 1998, 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 International Conference on Artificial Intelligence and Symbolic Computation, AISC'98, held in Plattsburgh, NY, in September 1998.The 24 revised full papers presented were carefully selected for inclusion in the book. The papers address various aspects of symbolic computation and formal reasoning such as inductive logic programming, context reasoning, computer algebra, proof theory and theorem proving, term rewriting, algebraic manipulation, formal verification, constraint solving, and knowledge discovery.
-
Artificial Intelligence and Symbolic Mathematical Computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings
Sprache: Englisch
Verlag: Springer Berlin Heidelberg, 1993
ISBN 10: 3540573224 ISBN 13: 9783540573227
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, updated in some cases,presented at the first AISMC (Artificial Intelligence andSymbolic Mathematical Computations)conference, held inKarlsruhe, August 3-6, 1992. This was the first conferenceto be devoted to such a topic after a long period when SMCmade no appearance in AI conferences, though it used to bewelcome in the early days of AI. Some conferences were heldrecently on mathematics and AI, but none was directlycomparable in scope to this conference.Because of the novelty of the domain, authors were givenlonger allocations of time than usual in which to presenttheir work. As a result, extended and fruitful discussionsfollowed each paper. The introductory chapter in this book,which was not presented during the conference, reflects inmany ways the flavor of these discussions and aims to setout the framework for future activities in this domain ofresearch. In addition to the introduction, the volumecontains 20 papers.
-
Artificial Intelligence and Symbolic Computation : 13th International Conference, AISC 2018, Suzhou, China, September 16¿19, 2018, Proceedings
Sprache: Englisch
Verlag: Springer International Publishing, Springer International Publishing, 2018
ISBN 10: 3319999567 ISBN 13: 9783319999562
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 13th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2018, held in Suzhou, China, in September 2018. The 13 full papers presented together with 5 short and 2 invited papers were carefully reviewed and selected from 31 submissions. The AISC conference is an important forum when it comes to ensuring that ideas, theoretical insights, methods and results from traditional AI can be discussed and showcased, while fostering new links with other areas of AI such as probabilistic reasoning and deep learning.
