Titre: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
�diteur: Springer
Date de parution: 1989
Langue: anglais
ISBN � 10 chiffres: 3540517057
ISBN � 13 chiffres: 9783540517054
Reliure: Paperback
�tat de l'article: Very Good

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 et de livraison

Conditions g�n�rales de vente

At this time we accept payment through Visa or Mastercard.

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.