Automated Theorem Proving: After 25 Years

W. W Bledsoe

ISBN 10: 082185027X ISBN 13: 9780821850275

Editorial: American Mathematical Society, 1984

Idioma: Ingl�s

Condici�n: Nuevo Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por THE SAINT BOOKSTORE, Southport, Reino Unido

Vendedor de AbeBooks desde 14 de junio de 2006

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 blanda

Condici�n: Nuevo

Precio: EUR 113,98 Convertir moneda

EUR 7,71 gastos de env�o desde Reino Unido a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 2 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

New copy - Usually dispatched within 3 working days. 510.

N� de ref. del art�culo B9780821850275

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Automated Theorem Proving: After 25 Years

Editor

American Mathematical Society

Fecha de publicaci�n

1984

Idioma

Ingl�s

ISBN 10

082185027X

ISBN 13

9780821850275

Encuadernaci�n

Paperback / softback

Estado

New

Cat�logos de vendedores

Descripci�n de la librer�a

The Saint Bookstore has a range of over 1 million titles available.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

SB ONLINE LTD
50 Devonshire Road, Southport, PR9 7BZ, United Kingdom

Condiciones de venta y env�o

Condiciones de venta

Please order through the Abebooks checkout. We only take orders through Abebooks - We don't take direct orders by email or phone.

Refunds or Returns: A full refund of the purchase price will be given if returned within 30 days in undamaged condition.

As a seller on abebooks we adhere to the terms explained at http://www.abebooks.co.uk/docs/HelpCentral/buyerIndex.shtml - if you require further assistance please email us at orders@thesaintbookstore.co.uk

Derecho a cancelaci�n

Condiciones de env�o

Most orders usually ship within 1-3 business days, but some can take up to 7 days.

Tarifas de env�o de Reino Unido a Espa�a

Tarifas de env�o de Reino Unido a Espa�a
Cantidad del pedido	De 7 a 21 d�as h�biles	De 7 a 21 d�as h�biles
Primer art�culo	EUR 7.71	EUR 7.71

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.