Automated Theorem Proving: after 25 Years

Bledsoe, W. W. And D. W. Loveland, Eds

ISBN 10: 082185027X ISBN 13: 9780821850275

Edit� par American Math Soc, Province RI, 1985

Langue: anglais

Ancien(s) ou d'occasion Couverture souple

Mettre de c�t�

Vendu par T. A. Borden Books, Olney, MD, Etats-Unis

Vendeur AbeBooks depuis 20 octobre 1998

�valuation du vendeur 4 sur 5 �toiles

Afficher tous les articles du vendeur

Afficher tous les exemplaires de ce livre

Ancien(s) ou d'occasion - Couverture souple

Prix: EUR 35,15 Autre devise

EUR 36,69 exp�dition depuis Etats-Unis vers France Destinations, frais et d�lais

Quantit� disponible : 1 disponible(s)

Ajouter au panier

Mettre de c�t�

A propos de cet article

Near Fine+; Contemporary Math V29; 360 pages.

N� de r�f. du vendeur 23600

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: Automated Theorem Proving: after 25 Years
�diteur: American Math Soc, Province RI
Date de parution: 1985
Langue: anglais
ISBN � 10 chiffres: 082185027X
ISBN � 13 chiffres: 9780821850275
Reliure: Paperback
�dition: Second Printing.

Description de la librairie

25,000+ items on line. In business since 1987. Core focus: better academic titles in all fields--scarce and rare. Several specialized collections-- Argentine history, European linguistics, Spanish literature and humanities, and others. We have many collectable titles as well. We are open by appointment and easy to browse by subject on ABE. Orders are sent out within a day, always packed in hard cardboard.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

T. A. Borden Books
MD, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

Books returnable with notice.

Conditions d'exp�dition

Orders usually ship on the following business day. 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

Ch�que Mandat postal En esp�ce Facture

Ajouter aux demandes de livres