Automated Reasoning: Introduction and Applications

Ross Overbeek, Larry Wos, Ewing Lusk, Jim Boyle

ISBN 10: 0130544469 ISBN 13: 9780130544469

Editorial: Prentice Hall, 1984

Idioma: Ingl�s

Usado Condici�n: Acceptable Encuadernaci�n de tapa blanda

Librer�a: dsmbooks, Liverpool, Reino Unido

Calificaci�n del vendedor: 4 de 5 estrellas

Vendedor de AbeBooks desde 28 de septiembre de 2015

Precio: EUR 73,11 Convertir moneda

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

Cantidad disponible: 1 disponibles

A�adir al carrito

Descripci�n

Acceptable. N� de ref. del art�culo D8S0-3-M-0130544469-6

Detalles bibliogr�ficos

T�tulo: Automated Reasoning: Introduction and ...

Editorial: Prentice Hall

A�o de publicaci�n: 1984

Encuadernaci�n: paperback

Condici�n: Acceptable

Tipo de libro: book

Acerca de

Sinopsis:

Book by Larry Wos Ross Overbeek Ewing Lusk Jim Boyle

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

Descripci�n de la librer�a

collection of few very good books

dsmbooks
United Kingdom

Condiciones de venta:

we ship all orders with in the specified shipping date.

Condiciones de env�o:

We use international air service to deliver products.

M�todos de pago
aceptados por la librer�a

A�adir una petici�n