Automated reasoning: Introduction and applications
Boyle Larry, Ross Overbeek, Ewing Lusk, Jim Wos
ISBN 10: 0130544531 ISBN 13: 9780130544537
Editorial: Prentice-Hall, 1984
Usado
Hardcover
Librería:
ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Vendedor de AbeBooks desde 24 de marzo de 2009
Este artículo en concreto ya no está disponible.
Descripción
Descripción:
Missing dust jacket; May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 1.01. N° de ref. del artículo G0130544531I4N01
Detalles bibliográficos
Título: Automated reasoning: Introduction and ...
Editorial: Prentice-Hall
Año de publicación: 1984
Encuadernación: Hardcover
Condición: Very Good
Condición de la sobrecubierta: No Jacket
Los mejores resultados en AbeBooks
Imagen de archivo
Automated reasoning: Introduction and applications
Publicado por
Prentice-Hall 0, 1984
ISBN 10: 0130544531
ISBN 13: 9780130544537
Antiguo o usado
Tapa dura
Librería: Mispah books, Redhill, SURRE, Reino Unido
Calificación del vendedor: 4 de 5 estrellas
hardcover. Condición: Good. Good. Dust Jacket NOT present. CD WILL BE MISSING. . SHIPS FROM MULTIPLE LOCATIONS. book. Nº de ref. del artículo: ERICA82901305445313
Comprar usado
EUR 95,58
EUR 28,64 shipping
Se envía de Reino Unido a Estados Unidos de America
Se envía de Reino Unido a Estados Unidos de America
Cantidad disponible: 1 disponibles