Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, France, July 1-5, 2002 Proceedings - Couverture souple

Acheter neuf

Afficher cet article

EUR 53,85

Autre devise

EUR 3,50 exp�dition vers Etats-Unis

R�sultats de recherche pour Artificial Intelligence, Automated Reasoning, and Symbolic...

Image d'archives

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings

Calmet, Jacques. et al

Edit� par Springer Verlag, New York., 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

Ancien ou d'occasion Couverture rigide

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

�valuation du vendeur 5 sur 5 �toiles

Hardcover. Etat : Very Good. No Jacket. Hardcover, 2002 edition. Library bound Ex-library book with stamps and labels attached. Binding firm. Pages unmarked and clean. Laminated covers and text in very good condition. LNAI 2385 [341 pages]. N� de r�f. du vendeur 013271

Acheter D'occasion

EUR 13,56

Autre devise

Frais de port : EUR 4,83

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Image d'archives

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, . / Lecture Notes in Artificial Intelligence)

Calmet, Jacques [Editor]; Benhamou, Belaid [Editor]; Caprotti, Olga [Editor]; Henocque, Laurent [Editor]; Sorge, Volker [Editor];

Edit� par Springer, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

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-0532

Acheter D'occasion

EUR 15,26

Autre devise

Frais de port : EUR 7,01

Vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Image d'archives

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Jaques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (Herausgeber)

Edit� par Springer Verlag, Berlin Heidelberg New York, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

Ancien ou d'occasion Softcover

Vendeur : Antiquariat WIE, Lollar, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Softcover. Etat : Gut. Etat de la jaquette : Nein. Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille France July 2002. Nein. N� de r�f. du vendeur 516

Acheter D'occasion

EUR 15

Autre devise

Frais de port : EUR 11,99

De Allemagne vers Etats-Unis

Quantit� disponible : 1 disponible(s)

Image fournie par le vendeur

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings

Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)

Edit� par Springer, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

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 986422

Acheter D'occasion

EUR 47,30

Autre devise

Frais de port : EUR 2,32

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Image d'archives

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... (Lecture Notes in Computer Science, 2385)

Sorge, Volker; Caprotti, Olga; Calmet, Jacques; Henocque, Laurent; Benhamou, Belaid

Edit� par Springer, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

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 ABLIING23Mar3113020167705

Acheter neuf

EUR 53,85

Autre devise

Frais de port : EUR 3,50

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Image fournie par le vendeur

Artificial Intelligence, Automated Reasoning, and Symbolic Computation : Joint International Conferences, Aisc 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002 Proceedings

Calmet, Jacques (EDT); International Conference AISC 2000 (2000 : Madrid, Spain) (COR); Calculemus (2002 Marseille, France) (COR)

Edit� par Springer, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

Neuf Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Etat : New. N� de r�f. du vendeur 986422-n

Acheter neuf

EUR 55,06

Autre devise

Frais de port : EUR 2,32

Vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Image d'archives

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences, AISC 2002 and Calculemus 2002 Marseille, ... (Lecture Notes in Computer Science, 2385)

Sorge, Volker; Caprotti, Olga; Calmet, Jacques; Henocque, Laurent; Benhamou, Belaid

Edit� par Springer, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

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 ria9783540438656_new

Acheter neuf

EUR 61,62

Autre devise

Frais de port : EUR 14,11

De Royaume-Uni vers Etats-Unis

Quantit� disponible : Plus de 20 disponibles

Image fournie par le vendeur

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

Jacques Calmet

Edit� par Springer Berlin Heidelberg Jun 2002, 2002

ISBN 10 : 3540438653 ISBN 13 : 9783540438656

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 2002, the 6th international conference on Arti cial Intelligence and S- bolic Computation, and Calculemus 2002, the 10th symposium on the Integ- tion of Symbolic Computation and Mechanized Reasoning, were held jointly in Marseille, France on July 1 5, 2002. This event was organized by the three universities in Marseille together with the LSIS (Laboratoire des Sciences de l Information et des Syst` emes). AISC 2002 was the latest in a series of specialized conferences founded by John Campbell and Jacques Calmet with the initial title Arti cial Intelligence and Symbolic Mathematical Computation (AISMC) and later denoted Art- cial Intelligence and Symbolic Computation (AISC). The scope is well de ned by its successive titles. AISMC-1 (1992), AISMC-2 (1994), AISMC-3 (1996), AISC 98, and AISC 2000 took place in Karlsruhe, Cambridge, Steyr, Plattsburgh (NY), and Madrid respectively. The proceedings were published by Springer-Verlag as LNCS 737, LNCS 958, LNCS 1138, LNAI 1476, and LNAI 1930 respectively. Calculemus 2002 was the 10th symposium in a series which started with three meetings in 1996, two meetings in 1997, and then turned into a yearly event in 1998. Since then, it has become a tradition to hold the meeting jointly with an event in either symbolic computation or automated deduction. Both events share common interests in looking at Symbolic Computation, each from a di erent point of view: Arti cial Intelligence in the more general case of AISC and Automated Deduction in the more speci c case of Calculemus. 364 pp. Englisch. N� de r�f. du vendeur 9783540438656