Automated Theorem Proving: after 25 Years

Bledsoe, W. W. And D. W. Loveland, Eds

ISBN 10: 082185027X ISBN 13: 9780821850275

Editorial: American Math Soc, Province RI, 1985

Idioma: Ingl�s

Condici�n: Usado Encuadernaci�n de tapa blanda

Guardar para m�s tarde

Vendido por T. A. Borden Books, Olney, MD, Estados Unidos de America

Vendedor de AbeBooks desde 20 de octubre de 1998

Calificaci�n del vendedor: 4 de 5 estrellas

Ver los art�culos de este vendedor

Ver todos los ejemplares de este libro

Usado - Encuadernaci�n de tapa blanda

Precio: EUR 35,24 Convertir moneda

EUR 36,78 gastos de env�o desde Estados Unidos de America a Espa�a Destinos, gastos y plazos de env�o

Cantidad disponible: 1 disponibles

A�adir al carrito

Guardar para m�s tarde

Descripci�n

Near Fine+; Contemporary Math V29; 360 pages.

N� de ref. del art�culo 23600

Contactar al vendedor

Denunciar este art�culo

Detalles bibliogr�ficos

T�tulo

Automated Theorem Proving: after 25 Years

Editor

American Math Soc, Province RI

Fecha de publicaci�n

1985

Idioma

Ingl�s

ISBN 10

082185027X

ISBN 13

9780821850275

Encuadernaci�n

Paperback

Edici�n

Second Printing.

Cat�logos de vendedores

Descripci�n de la librer�a

25,000+ items on line. In business since 1987. Core focus: better academic titles in all fields--scarce and rare. Several specialized collections-- Argentine history, European linguistics, Spanish literature and humanities, and others. We have many collectable titles as well. We are open by appointment and easy to browse by subject on ABE. Orders are sent out within a day, always packed in hard cardboard.

Ver la p�gina web de la librer�a

Informaci�n empresarial del vendedor

T. A. Borden Books
MD, U.S.A.

Condiciones de venta y env�o

Condiciones de venta

Books returnable with notice.

Derecho a cancelaci�n

Condiciones de env�o

Orders usually ship on the following business day. 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 Estados Unidos de America a Espa�a

Tarifas de env�o de Estados Unidos de America a Espa�a
Cantidad del pedido	De 25 a 45 d�as h�biles	De 8 a 14 d�as h�biles
Primer art�culo	EUR 36.78	EUR 36.78

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.