Softcover; surplus library copy with the usual stampings; fading and shelf wear to exterior; otherwise in good condition with clean text, firm binding.

N� de r�f. du vendeur 67206

Contacter le vendeur

Signaler cet article

D�tails bibliographiques

Titre: A Many-Sorted Calculus Based on Resolution and Paramodulation (Research Notes in Artificial Intelligence)
�diteur: Morgan Kaufman Publishers
Date de parution: 1987
Langue: anglais
ISBN � 10 chiffres: 0273087185
ISBN � 13 chiffres: 9780273087182
Reliure: Paperback
�tat de l'article: UsedGood

Description de la librairie

For more than 30 years we have operated as a warehouse/mail order operation.

Visitez la page d�accueil du vendeur

Informations commerciales relatives au vendeur

BookDepart
WV, U.S.A.

Conditions de vente et de livraison

Conditions g�n�rales de vente

Availability of books confirmed by e-mail. Prepayment by check or money order in U.S. dollars. Or you may charge the purchase through the ABE.Com system. (Please do not send us credit card information, as we only process the order and ship the books.) Domestic shipping and handling is $3, which includes delivery confirmation and USPS tracking. Priority mailing within the United States is generally $7.50. Inquire for special mailing such as priority or registered. For international shipping, inqu...

Pour plus d'information

Conditions d'exp�dition

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.