dongming wang (100 Ergebnisse)

Hardcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 2000. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2000. Ammareal gives back up to 15% of this item's net price to charity organizations.

Zustand: Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,450grams, ISBN:9783540642978.

Softcover. Zustand: Très bon. Ancien livre de bibliothèque. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.

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.

Hardcover. Zustand: Wie neu. 245 S.; Ill. Like new. Shrink wrapped. Sprache: Englisch Gewicht in Gramm: 645.

Softcover. Zustand: Bon. Ancien livre de bibliothèque. Légères traces d'usure sur la couverture. Tampon ou marque sur la face intérieure de la couverture. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Slight signs of wear on the cover. Stamp or mark on the inside cover page. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.

2005th ed. 18 x 24 cm. 382 pages. Hardcover. 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.

Zustand: Very Good. 235 pp., Paperback, very good. - 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.

Hardcover. Zustand: Good. very little to no damages.

Zustand: New. pp. 300 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Zustand: Sehr gut. Auflage: New. 551 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 1215 25,3 x 17,5 x 3,7 cm, Gebundene Ausgabe.

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.

Zustand: Used - Very Good. 2007. Hardcover. Library binding. No dj. Very little shelf-wear. Very Good.

Zustand: New. pp. viii + 394 Illus.

Original-Pappband. Zustand: Sehr gut. 4 Original-Pappband en Mathematik XIX pp., 551 pp.

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.

Zustand: New.

Taschenbuch. Zustand: Neu. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 280 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -The Second International Workshop on Automated Deduction in Geometry (ADG ¿98) was held in Beijing, China, August 1¿3, 1998. An increase of interest in ADG ¿98 over the previous workshop ADG ¿96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun ¿ Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG ¿98 was hosted by the Mathematics Mechanization Research Center (MMRC) with nancial support from the Chinese Academy of Sciences and the French National Center for Scienti c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG ¿98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi cant research results and developments and re ect the current state-of-the-art of ADG.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 300 pp. Englisch.

Taschenbuch. Zustand: Neu. Neuware -With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25¿27, 2000 was made more formal than the previous ADG ¿96 (Toulouse, September 1996) and ADG ¿98 (Beijing, August 1998). The workshop program featured two invited talks given by Christoph M. Ho mann and Jurgen ¿ Bokowski, one open session talk by Wen-tsun ¿ Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see calfor.lip6.fr/¿wang/ADG2000/). Some of the most recent and signi cant research developments on geometric deduction were - ported and reviewed, and the workshop was well focused at a high scienti c level. Fifteen contributions (out of the 18 regular presentations selected by the program committee from 31 submissions) and 2 invited papers were chosen for publication in these proceedings. These papers were all formally refereed and most of them underwent a double review-revision process. We hope that this volume meets the usual standard of international conference proceedings, rep- sentsthecurrentstateoftheartofADG,andwillbecomeavaluablereferencef or researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 340 pp. Englisch.

Buch. Zustand: Neu. Neuware -The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation coexisting in mathematics yet separated in traditional research of mathematical computation. This book presents 23 research articles on the integration and interaction of symbolic and numeric computation.Springer Basel AG in Springer Science + Business Media, Heidelberger Platz 3, 14197 Berlin 404 pp. Englisch.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The Second International Workshop on Automated Deduction in Geometry (ADG '98) was held in Beijing, China, August 1-3, 1998. An increase of interest in ADG '98 over the previous workshop ADG '96 is represented by the notable number of more than 40 participants from ten countries and the strong tech- cal program of 25 presentations, of which two one-hour invited talks were given by Professors Wen-tsun Wu and Jing-Zhong Zhang. The workshop provided the participants with a well-focused forum for e ective exchange of new ideas and timely report of research progress. Insight surveys, algorithmic developments, and applications in CAGD/CAD and computer vision presented by active - searchers, together with geometry software demos, shed light on the features of this second workshop. ADG '98 was hosted by the Mathematics Mechanization Research Center (MMRC) with nancial support from the Chinese Academy of Sciences and the French National Center for Scienti c Research (CNRS), and was organized by the three co-editors of this proceedings volume. The papers contained in the volume were selected, under a strict refereeing procedure, from those presented at ADG '98 and submitted afterwards. Most of the 14 accepted papers were carefully revised and some of the revised versions were checked again by external reviewers. We hope that these papers cover some of the most recent and signi cant research results and developments and re ect the current state-of-the-art of ADG.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - With a standard program committee and a pre-review process, the Third - ternational Workshop on Automated Deduction in Geometry (ADG 2000) held in Zurich, Switzerland, September 25 27, 2000 was made more formal than the previous ADG 96 (Toulouse, September 1996) and ADG 98 (Beijing, August 1998). The workshop program featured two invited talks given by Christoph M. Ho mann and Jurgen Bokowski, one open session talk by Wen-tsun Wu, 18 regular presentations, and 7 short communications, together with software demonstrations (see wang/ADG2000/). Some of the most recent and signi cant research developments on geometric deduction were - ported and reviewed, and the workshop was well focused at a high scienti c level. Fifteen contributions (out of the 18 regular presentations selected by the program committee from 31 submissions) and 2 invited papers were chosen for publication in these proceedings. These papers were all formally refereed and most of them underwent a double review-revision process. We hope that this volume meets the usual standard of international conference proceedings, rep- sentsthecurrentstateoftheartofADG,andwillbecomeavaluablereferencefor researchers, practitioners, software engineers, educators, and students in many ADG-related areas from mathematics to CAGD and geometric modeling. ADG2000washostedbytheDepartmentofComputerScience,ETHZurich.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - The growing demand of speed, accuracy, and reliability in scientific and engineering computing has been accelerating the merging of symbolic and numeric computations, two types of computation coexisting in mathematics yet separated in traditional research of mathematical computation. This book presents 23 research articles on the integration and interaction of symbolic and numeric computation.

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.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006.The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.

Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed and revised post-workshop proceedings of the International Workshop on Automated Deduction in Geometry, held in Toulouse, France, in September 1996. The revised extended papers accepted for inclusion in the volume were selected on the basis of double reviewing. Among the topics covered are automated geometric reasoning and the deduction applied to Dixon resultants, Gröbner bases, characteristic sets, computational geometry, algebraic geometry, and planet motion; furthermore the system REDLOG is demonstrated and the verification of geometric statements as well as the automated production of proof in Euclidean Geometry are present.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch.

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.

Zustand: New. pp. 248 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.