T�tulo: Introduction to HOL: A Theorem-Proving Environment for Higher-Order Logic
Editor: Cambridge University Press
Fecha de publicaci�n: 1993
Idioma: Ingl�s
ISBN 10: 0521441897
ISBN 13: 9780521441896
Encuadernaci�n: Hardcover
Estado: Good
Tipo de libro: book

Acerca de

Sinopsis

An introduction to the HOL theorem-proving system.

Cr�ticas

..".an excellent presentation of a sophisticated reasoning system." Computing Reviews

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

Descripci�n de la librer�a

We have collection of General books ,Science Books, Fiction & Academic Books. we ship from multiple location. Delhi, US and UK Return Address Mispah books flat4 , Centenary court, 30 Warwick Road Redhill , SURRE RH1 1FQ United Kingdom

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

Mispah books
United Kingdom

Condiciones de venta y env�o

Condiciones de venta

We offer excellent customer service & easy return facility.

we ship from Multiple location,UK,India,US

Return address:

Mispah books
flat4 ,
Centenary court, 30 Warwick Road
Redhill , SURRE RH1 1FQ
United Kingdom

Derecho a cancelaci�n

Condiciones de env�o

Our rates depends on weight of the item & shipping destination

Tarifas de env�o de Reino Unido a Estados Unidos de America

Tarifas de env�o de Reino Unido a Estados Unidos de America
Cantidad del pedido	De 14 a 15 d�as h�biles	De 9 a 10 d�as h�biles
Primer art�culo	EUR 28.75	EUR 31.04

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.