Artificial Intelligence Symbolic Mathematical (30 results)

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding.

Paperback 23x16 cm, slightly rubbed, pp. 305 Gewicht in Gramm: 420.

Condition: New.

Paperback or Softback. Condition: New. Integrating Symbolic Mathematical Computation and Artificial Intelligence: Second International Conference, Aismc-2, Cambridge, United Kingdom, August. Book.

Condition: As New. Unread book in perfect condition.

Condition: New. In.

Condition: New. In.

PF. Condition: New.

Condition: New. In.

PF. Condition: New.

PF. Condition: New.

Condition: New.

Condition: As New. Unread book in perfect condition.

Taschenbuch. Condition: 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.

Taschenbuch. Condition: 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.

Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.

Taschenbuch. Condition: Neu. Artificial Intelligence and Symbolic Mathematical Computing | International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings | Jacques Calmet (u. a.) | Taschenbuch | ix | Englisch | 1993 | Springer | EAN 9783540573227 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condition: Neu. Artificial Intelligence and Symbolic Mathematical Computation | International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings | Jaques Calmet (u. a.) | Taschenbuch | viii | Englisch | 1996 | Springer | EAN 9783540617327 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Taschenbuch. Condition: Neu. Integrating Symbolic Mathematical Computation and Artificial Intelligence | Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994. Selected Papers | Jacques Calmet (u. a.) | Taschenbuch | xi | Englisch | 1995 | Springer | EAN 9783540601562 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.

Paperback. Condition: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 292 | Sprache: Englisch | Produktart: Bücher | 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.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 292 pp. Englisch.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 .

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 324 pp. Englisch.

Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book we.

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction. 396 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 292 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the Third International Conference on Artificial Intelligence and Symbolic Mathematical Computation, AISMC-3, held in Steyr, Austria, in September 1996.The 19 revised full papers presented in the book were carefully selected by the program committee; also included are four invited survey and state-of-the-art contributions by Scott, Dillmann and Friedrich, Cohn, and Wang. Among the topics addressed are theorem proving, rewriting systems, symbolic computation, spatial reasoning, computational geometry, and automated deduction.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 396 pp. Englisch.

Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains the papers, updated in some casespresented 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 bookwhich 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 324 pp. Englisch.