Logic for Computer Science: Foundations of Automatic Theorem Proving
Gallier, Jean H.
ISBN 10: 0060422254 ISBN 13: 9780060422257
Editorial: HarperCollins Publishers, 1986
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:
Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6. N° de ref. del artículo G0060422254I3N00
Sinopsis:
Book by Gallier Jean
"Sobre este título" puede pertenecer a otra edición de este libro.
Detalles bibliográficos
Título: Logic for Computer Science: Foundations of ...
Editorial: HarperCollins Publishers
Año de publicación: 1986
Encuadernación: Hardcover
Condición: Good
Condición de la sobrecubierta: No Jacket
Los mejores resultados en AbeBooks
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Publicado por
Harper & Row, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Nº de ref. del artículo: S_389988481
Comprar usado
EUR 21,73
EUR 3,19 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Publicado por
Harper & Row, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
Cloth. Condición: Good. No Jacket. Type: Book N.B. Small plain label to inside front cover. No dust jacket. Light rubbing to head and tail of spine and corners of boards. Nº de ref. del artículo: 058562
Comprar usado
EUR 23,54
EUR 28,57 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
Imagen de archivo
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Publicado por
Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Nº de ref. del artículo: GRP95935838
Comprar usado
EUR 25,01
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 2 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Publicado por
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0060422254I5N01
Comprar usado
EUR 25,23
Gastos de envío gratis
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Publicado por
HarperCollins Publishers, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Original o primera edición
Librería: Jay W. Nelson, Bookseller, IOBA, Austin, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket. Nº de ref. del artículo: 105306
Comprar usado
EUR 26,30
EUR 2,77 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving
Publicado por
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: book-link, Nufringen, BW, Alemania
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3. Nº de ref. del artículo: 35279
Comprar usado
EUR 40,00
EUR 49,90 shipping
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles
Imagen de archivo
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Publicado por
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: The Media Foundation, BEAVERTON, OR, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: Fine. Former library asset (with library stamp on inside cover). Cover shows shelf wear. (price reflects) Pages are crisp and clean, binding tight. 100% Satisfaction Guaranteed. Orders received before 3PM PT typically ship same day. All profits support the non-profit community. Nº de ref. del artículo: mon0000026225
Comprar usado
EUR 81,51
EUR 3,82 shipping
Se envía dentro de Estados Unidos de America
Se envía dentro de Estados Unidos de America
Cantidad disponible: 1 disponibles