Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Lecture Notes in Computer Science, 4120)

ISBN 10: 3540397280 ISBN 13: 9783540397281
Edité par Springer, 2006
Neuf(s) Couverture souple

Vendeur Ria Christie Collections, Uxbridge, Royaume-Uni Évaluation du vendeur 5 sur 5 étoiles Evaluation 5 étoiles, En savoir plus sur les évaluations des vendeurs

Vendeur AbeBooks depuis 25 mars 2015

A propos de cet article

Description :

In. N° de réf. du vendeur ria9783540397281_new

Signaler cet article

Synopsis :

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.

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 : 2006
Reliure : Couverture souple
Etat : New

Meilleurs résultats de recherche sur AbeBooks

Image fournie par le vendeur

Calmet, Jacques [Hrsg.].:
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
Ancien ou d'occasion Couverture souple

Vendeur : avelibro OHG, Dinkelscherben, Allemagne

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

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

Contacter le vendeur

Acheter D'occasion

EUR 22
EUR 10 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Calmet, Jaques [Editor]; Ida, Tetsuo [Editor]; Wang, Dongming [Editor];
Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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. N° de réf. du vendeur DA1411760

Contacter le vendeur

Acheter D'occasion

EUR 41,59
EUR 5,94 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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. 288 Illus. N° de réf. du vendeur 7545337

Contacter le vendeur

Acheter neuf

EUR 47,78
EUR 7,44 shipping
Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Calmet, Jaques|Ida, Tetsuo|Wang, Dongming
Edité par Springer Berlin Heidelberg, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
Neuf Kartoniert / Broschiert
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

Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006Presents 18 revised full papers together with 4 invited papersAddresses all current aspects in the area of symbolic computing and . N° de réf. du vendeur 4888569

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 d'archives

Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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. 288. N° de réf. du vendeur 26302630

Contacter le vendeur

Acheter neuf

EUR 48,72
EUR 3,39 shipping
Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image d'archives

Calmet Jaques Wang Dongming Ida Tetsuo
Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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. 288. N° de réf. du vendeur 18302636

Contacter le vendeur

Acheter neuf

EUR 49,56
EUR 9,95 shipping
Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

Ajouter au panier

Image fournie par le vendeur

Jaques Calmet (u. a.)
Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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 Computation | 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings | Jaques Calmet (u. a.) | Taschenbuch | Einband - flex.(Paperback) | Englisch | 2006 | Springer | EAN 9783540397281 | Verantwortliche Person für die EU: Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 102157229

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 5 disponible(s)

Ajouter au panier

Image d'archives

Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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 ABLIING23Mar3113020166031

Contacter le vendeur

Acheter neuf

EUR 52,13
EUR 3,39 shipping
Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Ajouter au panier

Image fournie par le vendeur

Calmet, Jacques (EDT); Ida, Tetsuo (EDT); Wang, Dongming (EDT)
Edité par Springer, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, 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 5105157-n

Contacter le vendeur

Acheter neuf

EUR 53,11
EUR 2,24 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, 2006
ISBN 10 : 3540397280 ISBN 13 : 9783540397281
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 - 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. N° de réf. du vendeur 9783540397281

Contacter le vendeur

Acheter neuf

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

Quantité disponible : 1 disponible(s)

Ajouter au panier

There are 9 autres exemplaires de ce livre sont disponibles

Afficher tous les résultats pour ce livre