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

Editorial: North-Holland, 2001

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa dura

Guardar para m�s tarde

Vendido por Revaluation Books, Exeter, Reino Unido

Vendedor de AbeBooks desde 6 de enero de 2003

Calificaci�n del vendedor: 5 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Nuevos - Encuadernaci�n de tapa dura

Condici�n: Nuevo

Precio: EUR 231,97 Convertir moneda

EUR 28,92 gastos de env�o desde Reino Unido a Estados Unidos de America Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

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

N� de ref. del art�culo __0444508120

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

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

Editor

North-Holland

Fecha de publicaci�n

2001

Idioma

Ingl�s

ISBN 10

0444508120

ISBN 13

9780444508126

Encuadernaci�n

Hardcover

Estado

Brand New

Cat�logos de vendedores

Acerca de

Sinopsis

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.

"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

Edward Bowditch Ltd
Exstowe, Exton, Exeter, EX3 0PP, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

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

Derecho a cancelaci�n

Condiciones de env�o

Orders usually dispatched within two working days.

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 7 a 18 d�as h�biles	De 2 a 5 d�as h�biles
Primer art�culo	EUR 28.92	EUR 28.92

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.