Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)

Robinson, J. A. (Editor)/ Robinson, Alan/ Voronkov, Andrei (Editor)

ISBN 10: 0444508120 ISBN 13: 9780444508126

Verlag: North-Holland, 2001

Sprache: Englisch

Zustand: Neu Hardcover

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 - Hardcover

Zustand: Neu

Preis: EUR 231,97 W�hrung umrechnen

EUR 28,92 f�r den Versand von Vereinigtes K�nigreich nach USA Versandziele, Kosten & Dauer

Anzahl: 2 verf�gbar

In den Warenkorb legen

F�r sp�ter vormerken

Beschreibung

1st edition. 2122 pages. 9.50x6.75x2.00 inches. In Stock.

Bestandsnummer des Verk�ufers __0444508120

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Handbook of Automated Reasoning : Volume II (Handbook of Automated Reasoning)

Verlag

North-Holland

Erscheinungsjahr

2001

Sprache

Englisch

ISBN-10

0444508120

ISBN-13

9780444508126

Einband

Hardcover

Zustand

Brand New

Verk�uferkataloge

�ber diesen Titel

Inhaltsangabe

This second volume of "Handbook of Automated Reasoning" covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

Rese�a del editor

This second volume of Handbook of Automated Reasoning covers topics such as higher-order logic and logical frameworks, higher-order unification and matching, logical frameworks, proof-assistants using dependent type systems, and nonclassical logics.

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

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

Widerrufsbelehrung

Versandbedingungen

Orders usually dispatched within two working days.

Versandkosten von Vereinigtes K�nigreich nach USA

Versandkosten von Vereinigtes K�nigreich nach USA
Bestellmenge	7 bis 18�Werktage	2 bis 5�Werktage
Erster Artikel	EUR 28.92	EUR 28.92

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.