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".

N� de ref. del art�culo 027483

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

Springer-Verlag (1994), Berlin / Heidelberg

Fecha de publicaci�n

1994

ISBN 10

3540584501

ISBN 13

9783540584506

Encuadernaci�n

orig. wrappers

Estado

Minor wear. VG.

Cat�logos de vendedores

Automatic Theorem Proving

Acerca de

Sinopsis

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

"Sobre este t�tulo" puede pertenecer a otra edici�n de este libro.

Descripci�n de la librer�a

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Expatriate Bookshop of Denmark
Denmark

Condiciones de venta y env�o

Condiciones de venta

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

M�s informaci�n

Derecho a cancelaci�n

Condiciones de env�o

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.

Tarifas de env�o de Dinamarca a Espa�a

Tarifas de env�o de Dinamarca a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 10 a 20 d�as h�biles
Primer art�culo	EUR 20.50	EUR 28.55

Los plazos de entrega los establecen los vendedores y var�an seg�n el transportista y la ubicaci�n. Los pedidos que pasan por la aduana pueden sufrir retrasos y los compradores son responsables de los aranceles o tarifas asociadas. Los vendedores pueden ponerse en contacto con usted en relaci�n con cargos adicionales para cubrir cualquier aumento en los costes de env�o de los art�culos.