Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Bertot, Yves et. al. (Eds.):

Published by Berlin: Springer., 1999

Language: English

Condition: Used - As new Soft cover

Save for Later

Sold by Antiquariat Thomas Haker GmbH & Co. KG, Berlin, Germany

Association Member:

GIAQ

AbeBooks Seller since 3 May 2002

Seller rating 5 out of 5 stars

View this seller's items

View all copies of this book

Used - Soft cover

Condition: Used - As new

Price: � 8.73 Convert Currency

� 9.51 shipping from Germany to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

VIII, 358 S. with fig and tables; 24 cm, Like new. Shrink wrapped. / Wie neu. In Folie verschwei�t. Sprache: Englisch Gewicht in Gramm: 600.

Seller Inventory # 818986

Contact seller

Report this item

Bibliographic Details

Title

Theorem proving in higher order logics: 12th international conference; proceedings. Lecture notes in computer science; Vol. 1690.

Publisher

Berlin: Springer.

Publication Date

1999

Language

English

Binding

Paperback.

Condition

Wie neu

Seller catalogs

Informatik, Hardware, Software

Store Description

Pers�nliche Abholung von B�chern nach vorheriger Reservierung per Telefon (030.46796187) von Mo-Fr 10-16 Uhr Paul-Robeson-Str. 22. Bitte klingeln, kein Ladengesch�ft.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

Antiquariat Thomas Haker GmbH & Co. KG
Paul-Robeson-Stra�e 22, Berlin, 10439, Germany

Sale & Shipping Terms

Terms of Sale

Allgemeine Gesch�ftsbedingungen mit Kundeninformationen

Inhaltsverzeichnis

Geltungsbereich
Vertragsschluss
Widerrufsrecht
Preise und Zahlungsbedingungen
Liefer- und Versandbedingungen
Eigentumsvorbehalt
M�ngelhaftung
Anwendbares Recht
Gerichtsstand

Geltungsbereich
1.1 Diese Allgemeinen Gesch�ftsbedingungen (nachfolgend "AGB") der Antiquariat Thomas Haker GmbH & Co. KG (nachfolgend "Verk�ufer"), gelten f�r alle Vertr�ge, die ein Verbraucher oder Unternehmer (nachfolgend ?Kunde?) mit dem Verk�ufer hinsi...

More Information

Right of cancellation

Shipping Terms

Shipping rates from Germany to United Kingdom

Shipping rates from Germany to United Kingdom
Order quantity	4 to 14 business days	4 to 14 business days
First item	� 9.51	� 9.51

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Detailed Seller Information

Payment Methods

PayPal Invoice

Add to Wants