Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings - Couverture souple
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 « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Artificial Intelligence and Symbolic Computation: 8th...
Image d'archives
Artificial Intelligence and Symbolic Computation
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 288 Illus. N° de réf. du vendeur 7545337
Acheter neuf
EUR 21,34
Expédition à EUR 7,45
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Artificial intelligence and symbolic computation. 8th international conference ; proceedings.
Edité par
Springer, Berlin/Heidelberg/New York, 2006
ISBN 10 : 3540397280
ISBN 13 : 9783540397281
Ancien ou d'occasion
Couverture souple
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
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
Acheter D'occasion
EUR 22
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Artificial Intelligence And Symbolic Computation
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-240689
Acheter neuf
EUR 49,94
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Artificial Intelligence And Symbolic Computation
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : 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. N° de réf. du vendeur ABBB-153385
Acheter neuf
EUR 50,07
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Artificial Intelligence and Symbolic Computation
Edité par
Springer, 2006
ISBN 10 : 3540397280
ISBN 13 : 9783540397281
Ancien ou d'occasion
Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 288. N° de réf. du vendeur 26302630
Acheter D'occasion
EUR 52,41
Expédition à EUR 3,43
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Artificial Intelligence and Symbolic Computation
Edité par
Springer, 2006
ISBN 10 : 3540397280
ISBN 13 : 9783540397281
Ancien ou d'occasion
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 288. N° de réf. du vendeur 18302636
Acheter D'occasion
EUR 49,87
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 Proceedings
Edité par
Springer, 2006
ISBN 10 : 3540397280
ISBN 13 : 9783540397281
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 5105157
Acheter D'occasion
EUR 59,38
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540397281
Acheter neuf
EUR 56,39
Expédition à EUR 17,76
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Artificial Intelligence and Symbolic Computation : 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006 Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 5105157-n
Acheter neuf
EUR 73,49
Expédition à EUR 2,27
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Artificial Intelligence and Symbolic Computation
Edité par
Springer Berlin Heidelberg Sep 2006, 2006
ISBN 10 : 3540397280
ISBN 13 : 9783540397281
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 288 pp. Englisch. N° de réf. du vendeur 9783540397281
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)