Automated Theorem Proving After 25 Years

Bledsoe, W. W./ Loveland, Donald W. (Editor)

ISBN 10: 082185027X ISBN 13: 9780821850275

Verlag: Amer Mathematical Society, 1984

Sprache: Englisch

Neu Zustand: Brand New Softcover

F�r sp�ter vormerken

Verkauft von Revaluation Books, Exeter, Vereinigtes K�nigreich

AbeBooks-Verk�ufer seit 6. Januar 2003

Verk�uferbewertung 5 von 5 Sternen

Alle Artikel dieses Verk�ufers anzeigen

Alle Exemplare dieses Buches anzeigen

Neu - Softcover

Zustand: Brand New

Preis: EUR 105,69 W�hrung umrechnen

EUR 11,57 f�r den Versand von Vereinigtes K�nigreich nach Deutschland Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

360 pages. 10.25x7.00x1.00 inches. In Stock.

Bestandsnummer des Verk�ufers zk082185027X

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel: Automated Theorem Proving After 25 Years
Verlag: Amer Mathematical Society
Ver�ffentlichungsdatum: 1984
Sprache: Englisch
ISBN-10: 082185027X
ISBN-13: 9780821850275
Bindung: Paperback
Zustand: Brand New

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Legal entity name: Edward Bowditch Ltd
Legal entity form: Limited company
Business correspondence address: Exstowe, Exton, Exeter, EX3 0PP
Company registration number: 04916632
VAT registration: GB834241546
Authorised representative: Mr. E. Bowditch

Versandbedingungen

Orders usually dispatched within two working days.

Zahlungsarten

Zu Kaufgesuchen hinzuf�gen