24x16cm, ix,470 pp., Weighs 700 grams. Series: Lecture Notes in Computer Science, 859. Full title reads: "Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994 : Proceedings".

Bestandsnummer des Verk�ufers 027483

Verk�ufer kontaktieren

Diesen Artikel melden

Bibliografische Details

Titel

Higher Order Logic Theorem Proving and Its Applications : 7th International Workshop, Valletta, Malta, September 19-22, 1994

Verlag

Springer-Verlag (1994), Berlin / Heidelberg

Erscheinungsjahr

1994

ISBN-10

3540584501

ISBN-13

9783540584506

Einband

orig. wrappers

Zustand

Minor wear. VG.

Verk�uferkataloge

Automatic Theorem Proving

�ber diesen Titel

Inhaltsangabe

This volume presents the proceedings of the 7th International Workshop on Higher Order Logic Theorem Proving and Its Applications held in Valetta, Malta in September 1994.
Besides 3 invited papers, the proceedings contains 27 refereed papers selected from 42 submissions. In total the book presents many new results by leading researchers working on the design and applications of theorem provers for higher order logic. In particular, this book gives a thorough state-of-the-art report on applications of the HOL system, one of the most widely used theorem provers for higher order logic.

Rese�a del editor

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

Anbieterinformationen

Zur Homepage des Verk�ufers

Unternehmensdaten des Verk�ufers

Expatriate Bookshop of Denmark
Denmark

Gesch�ftsbedingungen und Versandinformationen

Verkaufsbedingungen

Terms & conditions:
Prices are listed in US Dollars / Euros. For shipping & handling charges, kindly enquire. Insurance optional & extra. Uninsured parcels shipped at customer's risk.

FOR CUSTOMERS RESIDING WITHIN THE EUROPEAN UNION:
Please note that special terms and conditions apply. Kindly enquire. Institutions/Booksellers kindly provide VAT Registration Number with Order.

Expatriate Bookshop of Denmark
VAT Registration Nr. DK-15625775
Postboks 220 - Fruerstuevej 43 B
5700 Svendborg
telephone...

Mehr Information

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 D�nemark nach USA

Versandkosten von D�nemark nach USA
Bestellmenge	45 bis 60�Werktage	57 bis 60�Werktage
Erster Artikel	EUR 129.00	EUR 159.00

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.