Artificial Intelligence, Automated Reasoning and Symbolic Computation Constitutes the proceedings of the joint International Conferences on Artificial Intelligence and Symbolic Computation, and Calculemus 2002, held in France in 2002. The 24 papers cover automated theorem proving, logical reasoning, mathematical modeling, algebraic computations and more. Full description

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

Description de la librairie

Online-Antiquariat

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

Antiquariat WIE
Germany

Conditions de vente :

Die angegebenen Preise verstehen sich inklusive MWSt. zuz�glich Versandkosten. Alle Preise sind in Euro angegeben. Die Lieferung erfolgt auf Rechnung. Bei besonders teuren B�chersendungen und bei Lieferungen ins Ausland bitte ich um Vorauskasse. Das Angebot ist freibleibend. Zustand der B�cher: Der Zustand der B�cher ist im allgemeinen im Angebot beschrieben. M�ngel werden gesondert erw�hnt. Falls Sie einmal nicht mit einer B�chersendung einverstanden sein sollten, schicken Sie die Sendung bitte...

Pour plus d'information

Conditions de livraison :

Die Versandkostenpauschalen basieren auf Sendungen mit einem durchschnittlichen Gewicht. Falls das von Ihnen bestellte Buch besonders schwer oder sperrig sein sollte, werden wir Sie informieren, falls zus�tzliche Versandkosten anfallen.

Modes de paiement
accept�s par le vendeur

Ch�que En esp�ce Facture

Ajouter aux demandes de livres

Articles li�s � Artificial Intelligence, Automated Reasoning, and Symbolic...

Artificial Intelligence, Automated Reasoning, and Symbolic Computation

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

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur