Automated Reasoning: Introduction and Applications

Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

ISBN 10: 0130544469 ISBN 13: 9780130544469

Edit� par Prentice Hall, 1984

Langue: anglais

Neuf(s) Etat : New Couverture souple

Mettre de c�t�

Vendeur BennettBooksLtd, North Las Vegas, NV, Etats-Unis

�valuation du vendeur 5 sur 5 �toiles

Vendeur AbeBooks depuis 17 avril 2008

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Neuf(s) - Couverture souple

Prix: EUR 95,82 Autre devise

EUR 6,18 exp�dition vers Etats-Unis Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

In shrink wrap. Looks like an interesting title! N� de r�f. du vendeur Q-0130544469

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre : Automated Reasoning: Introduction and ...

�diteur : Prentice Hall

Date d'�dition : 1984

Reliure : Paperback

Etat : New

A propos de ce titre

Synopsis :

Book by Larry Wos Ross Overbeek Ewing Lusk Jim Boyle

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

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

BennettBooksLtd
NV, U.S.A.

Conditions de vente :

We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.

Conditions de livraison :

Orders ship within 2 business days. 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 � Automated Reasoning: Introduction and Applications

Automated Reasoning: Introduction and Applications

Larry Wos; Ross Overbeek; Ewing Lusk; Jim Boyle

Neuf(s) - Couverture souple

Informations commerciales relatives au vendeur