Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. N� de r�f. du vendeur UTD1421591

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Artificial Intelligence and Symbolic ...

�diteur : Springer

Date d'�dition : 1996

Reliure : Paperback

Etat : Very Good

A propos de ce titre

Synopsis :

Artificial Intelligence and Symbolic Mathematical Computation The 19 papers presented in this text were selected by the programme committee of the Third International Conference on Artificial Intelligence and Symbololic Mathematical Computation. Topics addressed include theorem proving, rewriting systems, symbolic computation, and spatial reasoning. 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

GuthrieBooks has served central Texas with a choice selection since 1978. We strive to provide an interesting selection and quality service. We specialize in academic works but carry books for all interests.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

GuthrieBooks
TX, U.S.A.

Conditions de vente :

At this time we accept payment through Visa or Mastercard.

Conditions de livraison :

Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.

Modes de paiement
accept�s par le vendeur

Ajouter aux demandes de livres

Articles li�s � Artificial Intelligence and Symbolic Mathematical Computatio...

Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Lecture Notes in Computer Science)

Calmet, Jaques [Editor]; Campbell, John A. [Editor]; Pfalzgraf, Jochen [Editor];

Ancien(s) ou d'occasion - Couverture souple

Informations commerciales relatives au vendeur