Titel: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science)
Verlag: Springer
Ver�ffentlichungsdatum: 1989
Sprache: Englisch
ISBN-10: 3540517057
ISBN-13: 9783540517054
Bindung: Paperback
Zustand: Very Good

Anbieterinformationen

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.

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

GuthrieBooks
TX, U.S.A.

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

At this time we accept payment through Visa or Mastercard.

Versandbedingungen

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.