Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518)

Williams, James G.

ISBN 10: 0387543333 ISBN 13: 9780387543338

Verlag: Springer-Verlag, 1991

Sprache: Englisch

Zustand: Gebraucht - Gut Softcover

F�r sp�ter vormerken

Verkauft von PAPER CAVALIER US, Brooklyn, NY, USA

AbeBooks-Verk�ufer seit 13. Juni 2014

Verk�uferbewertung 4 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Gebraucht - Softcover

Zustand: Gebraucht - Gut

Preis: EUR 8,58 W�hrung umrechnen

EUR 8,54 f�r den Versand von USA nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

Gently used. May include previous owner's signature or bookplate on the front endpaper, sticker on back and/or remainder mark on text block.

Bestandsnummer des Verk�ufers 9780387543338-3

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Instantiation Theory: On the Foundations of Automated Deduction (Lecture Notes in Computer Science 518)

Verlag

Springer-Verlag

Erscheinungsjahr

1991

Sprache

Englisch

ISBN-10

0387543333

ISBN-13

9780387543338

Einband

Softcover

Zustand

very good

Verk�uferkataloge

Anbieterinformationen

Paper Cavalier is a book dealer specialised in out-of-print and hard-to-find. We are based in London and New York. Looking for a book? Contact us at hello@papercavalier.com

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Paper Cavalier
Biscuit Factory, Block K, Unit 104, 100 Clements road, London, SE16 4DG, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

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

Widerrufsbelehrung

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.

Versandkosten von USA nach Deutschland

Versandkosten von USA nach Deutschland
Bestellmenge	14 bis 28�Werktage	7 bis 21�Werktage
Erster Artikel	EUR 8.54	EUR 25.63

Die Versandzeiten werden von den Verk�uferinnen und Verk�ufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, k�nnen Verz�gerungen unterliegen. Eventuell anfallende Abgaben oder Geb�hren sind von der K�uferin bzw. dem K�ufer zu tragen. Die Verk�uferin bzw. der Verk�ufer kann Sie bez�glich zus�tzlicher Versandkosten kontaktieren, um einen m�glichen Anstieg der Versandkosten f�r Ihre Artikel auszugleichen.