ARTIFICIAL INTELLIGENCE AND SYMBOLIC MATHEMATICAL COMPUTATION

JAQUES CALMET ET.AL

ISBN 10: 3540617329 ISBN 13: 9783540617327
Edité par Springer, 1996
Neuf(s) Couverture souple

Vendeur Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 17 avril 2013

A propos de cet article

Description :

This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABTA-92709

Signaler cet article

Synopsis :

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.

Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.

Détails bibliographiques

Titre : ARTIFICIAL INTELLIGENCE AND SYMBOLIC ...
Éditeur : Springer
Date d'édition : 1996
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image d'archives

Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Paperback

Vendeur : Bookmonger.Ltd, HILLSIDE, NJ, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : New. N° de réf. du vendeur mon0000406261

Contacter le vendeur

Acheter neuf

EUR 12,32
EUR 3,41 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Calmet, Jacques ; Campbell, John A ; Pfalzgraf, Jochen
Edité par Springer Verlag, New York, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Ancien ou d'occasion Couverture rigide

Vendeur : Doss-Haus Books, Redondo Beach, CA, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Hardcover. Etat : 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]. N° de réf. du vendeur 010807

Contacter le vendeur

Acheter D'occasion

EUR 13,19
EUR 4,69 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Calmet, Jaques [Editor]; Campbell, John A. [Editor]; Pfalzgraf, Jochen [Editor];
Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Ancien ou d'occasion Paperback

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N° de réf. du vendeur UTD1421591

Contacter le vendeur

Acheter D'occasion

EUR 14,75
EUR 5,97 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Couverture souple

Vendeur : Majestic Books, Hounslow, Royaume-Uni

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 396 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5865244

Contacter le vendeur

Acheter neuf

EUR 43,37
EUR 7,51 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Pfalzgraf Jochen Calmet Jaques Campbell John A.
Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Couverture souple

Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 396. N° de réf. du vendeur 183064009

Contacter le vendeur

Acheter neuf

EUR 44,91
EUR 9,95 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-Unis

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. pp. 396. N° de réf. du vendeur 263064003

Contacter le vendeur

Acheter neuf

EUR 46,28
EUR 3,41 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Calmet, Jacques|Campbell, John A.|Pfalzgraf, Jochen
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Couverture souple
impression à la demande

Vendeur : moluna, Greven, Allemagne

Évaluation du vendeur 4 sur 5 étoiles Evaluation 4 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : 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. N° de réf. du vendeur 4895730

Contacter le vendeur

Acheter neuf

EUR 48,37
EUR 48,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Jaques Calmet (u. a.)
Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Taschenbuch
impression à la demande

Vendeur : preigu, Osnabrück, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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 Print on Demand. N° de réf. du vendeur 106809439

Contacter le vendeur

Acheter neuf

EUR 50,25
EUR 70 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Couverture souple

Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Etat : New. N° de réf. du vendeur ABLIING23Mar3113020172411

Contacter le vendeur

Acheter neuf

EUR 52,35
EUR 3,41 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Jaques Calmet
Edité par Springer Berlin Heidelberg, 1996
ISBN 10 : 3540617329 ISBN 13 : 9783540617327
Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Taschenbuch. Etat : 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. N° de réf. du vendeur 9783540617327

Contacter le vendeur

Acheter neuf

EUR 53,49
EUR 62,99 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 5 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre