Artículos relacionados a Logic for Computer Science: Foundations of Automatic...
Sinopsis
Book by Gallier Jean
"Sinopsis" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Logic for Computer Science: Foundations of Automatic...
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-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Hardcover. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less. Nº de ref. del artículo: G0060422254I3N10
Comprar usado
EUR 6,65
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 del vendedor
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: -OnTimeBooks-, Phoenix, AZ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Condición: good. A copy that has been read, remains in good condition. All pages are intact, and the cover is intact. The spine and cover show signs of wear. Pages can include notes and highlighting and show signs of wear, and the copy can include "From the library of" labels or previous owner inscriptions. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item! Ships via media mail. Nº de ref. del artículo: OTV.0060422254.G
Comprar usado
EUR 10,04
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
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: Booksavers of Virginia, Harrisonburg, VA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
hardcover. Condición: Very Good. In very good, unmarked condition. No DJ. Your purchase benefits the world-wide relief efforts of Mennonite Central Committee. Nº de ref. del artículo: mon0000372887
Comprar usado
EUR 6,38
Envío por EUR 4,45
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 27,54
Envío por EUR 2,45
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 24,61
Envío por EUR 29,86
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
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 32,80
Envío por EUR 49,90
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: 5 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 85,35
Envío por EUR 4,00
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
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Nuevo
Tapa dura
Librería: The Book Spot, North Branch, MN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
Hardcover. Condición: New. Nº de ref. del artículo: Abebooks7375
Comprar nuevo
EUR 119,33
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 Jean Gallier
Publicado por
Longman Higher Education, 1986
ISBN 10: 0060422254
ISBN 13: 9780060422257
Antiguo o usado
Tapa dura
Librería: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: gut. 1986. Logic for Computer Science: Foundations of Automatic Theorem Proving In englischer Sprache. pages. Nº de ref. del artículo: BN645039
Comprar usado
EUR 179,90
Envío por EUR 39,95
Se envía de Alemania a Estados Unidos de America
Se envía de Alemania a Estados Unidos de America
Cantidad disponible: 1 disponibles