Artificial Intelligence and Symbolic Computation - Couverture souple

Acheter neuf

Afficher cet article

EUR 54,16

Autre devise

EUR 3,52 exp�dition vers Etats-Unis

Autres �ditions populaires du m�me titre

9783662199640: Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings

Edition pr�sent�e

ISBN 10 : 3662199645 ISBN 13 : 9783662199640
Editeur : Springer, 2014
Couverture souple

R�sultats de recherche pour Artificial Intelligence and Symbolic Computation

Image d'archives

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings (Lecture . / Lecture Notes in Artificial Intelligence)

Buchberger, Bruno [Editor]; Campbell, John A. [Editor];

Edit� par Springer, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Ancien ou d'occasion Paperback

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

�valuation du vendeur 5 sur 5 �toiles

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N� de r�f. du vendeur UTD14a-0543

Acheter D'occasion

EUR 7,29

Autre devise

Frais de port : EUR 7,06

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Image d'archives

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings (Lecture Notes in Computer Science, 3249)

Buchberger, Bruno

Edit� par Springer, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Neuf Couverture souple

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

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur ABLIING23Mar3113020163564

Acheter neuf

EUR 54,16

Autre devise

Frais de port : EUR 3,52

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Image d'archives

Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings (Lecture Notes in Computer Science, 3249)

Buchberger, Bruno

Edit� par Springer, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Neuf Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

Etat : New. In. N� de r�f. du vendeur ria9783540232124_new

Acheter neuf

EUR 61,58

Autre devise

Frais de port : EUR 14,09

De Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Image fournie par le vendeur

Artificial Intelligence and Symbolic Computation

John A. Campbell

Edit� par Springer Berlin Heidelberg Sep 2004, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Neuf Taschenbuch

impression � la demande

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 -AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. 300 pp. Englisch. N� de r�f. du vendeur 9783540232124

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 23

De Allemagne vers Etats-Unis

Quantit� disponible : 2 disponible(s)

Image fournie par le vendeur

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22�24, 2004 Proceedings

John A. Campbell

Edit� par Springer Berlin Heidelberg, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Neuf Taschenbuch

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - AISC 2004, the 7th International Conference on Arti cial Intelligence and S- bolicComputation,wasthelatestintheseriesofspecializedbiennialconferences foundedin1992byJacquesCalmetoftheUniversitat KarlsruheandJohnCa- bell of University College London with the initial title Arti cial Intelligence and Symbolic Mathematical Computing (AISMC).TheM disappeared from the title between the 1996 and 1998 conferences. As the editors of the AISC 1998 p- ceedings said, the organizers of the current meeting decided to drop the adjective mathematical and toemphasize that the conference is concerned with all aspects of symbolic computation in AI: mathematical foundations, implementations, and applications, including applications in industry and academia. This remains the intended pro le of the series, and will gure in the call for papersfor AISC 2006,whichis intended to takeplaceinChina. Thedistribution of papers in the present volume over all the areas of AISC happens to be rather noticeably mathematical, an e ect that emerged because we were concerned to select the best relevant papers that were o ered to us in 2004, irrespective of their particular topics; hence the title on the cover. Nevertheless, we encourage researchersovertheentirespectrumofAISC,asexpressedbythe1998quotation above,to be intouchwith us abouttheir interestsandthe possibility ofeventual submission of papers on their work for the next conference in the series. The papers in the present volume are evidence of the health of the eld of AISC. Additionally, there are two reasons for optimism about the continuation of this situation. N� de r�f. du vendeur 9783540232124

Acheter neuf

EUR 53,49

Autre devise

Frais de port : EUR 30,28

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Image d'archives

Artificial Intelligence and Symbolic Computation : 7th International Conference, AISC 2004 Linz, Austria, September 22-24, 2004 Proceedings

Buchberger, Bruno

Edit� par Springer 2004-09, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Neuf PF

Vendeur : Chiron Media, Wallingford, Royaume-Uni

�valuation du vendeur 5 sur 5 �toiles

PF. Etat : New. N� de r�f. du vendeur 6666-IUK-9783540232124

Acheter neuf

EUR 73,15

Autre devise

Frais de port : EUR 18,22

De Royaume-Uni vers Etats-Unis

Quantit� disponible : 10 disponible(s)

Image fournie par le vendeur

Artificial Intelligence and Symbolic Computation

Buchberger, Bruno|Campbell, John A.

Edit� par Springer Berlin Heidelberg, 2004

ISBN 10 : 3540232125 ISBN 13 : 9783540232124

Neuf Couverture souple

impression � la demande

Vendeur : moluna, Greven, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Invited Presentations.- The Algorithmization of Physics: Math Between Science and Engineering.- Finite Algebras and AI: From Matrix Semantics to Stochastic Local Search.- Proof Search in Minimal Logic.- Planning and Patching Proof.- Papers.- A Paraconsisten. N� de r�f. du vendeur 4885829