Importe total (1 artículo artículos):
Destino del pedido:
9780060422257 - Logic for Computer Science: Foundations of Automatic Theorem Proving de Gallier, Jean (8 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (8)
- Revistas y publicaciones (No hay ningún otro resultado que coincida con este filtro.)
- Cómics (No hay ningún otro resultado que coincida con este filtro.)
- Partituras (No hay ningún otro resultado que coincida con este filtro.)
- Arte, grabados y pósters (No hay ningún otro resultado que coincida con este filtro.)
- Fotografías (No hay ningún otro resultado que coincida con este filtro.)
- Mapas (No hay ningún otro resultado que coincida con este filtro.)
- Manuscritos y coleccionismo de papel (No hay ningún otro resultado que coincida con este filtro.)
Condición Más información
- Nuevo (1)
- Como nuevo, Excelente o Muy bueno (2)
- Bueno o Aceptable (5)
- Regular o Pobre (No hay ningún otro resultado que coincida con este filtro.)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (8)
- Tapa blanda (No hay ningún otro resultado que coincida con este filtro.)
Más atributos
- Primera edición (1)
- Firmado (No hay ningún otro resultado que coincida con este filtro.)
- Sobrecubierta (No hay ningún otro resultado que coincida con este filtro.)
- Con imágenes (No hay ningún otro resultado que coincida con este filtro.)
- No impresión bajo demanda (8)
Idioma (2)
Precio
- Cualquier precio
- Menos de EUR 20 (No hay ningún otro resultado que coincida con este filtro.)
- EUR 20 a EUR 45
- Más de EUR 45
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Idioma: Inglés
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,11
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
-
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Idioma: Inglés
Publicado por Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 26,11
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Idioma: Inglés
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: Booksavers of Virginia, Harrisonburg, VA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,51
Envío por EUR 4,37
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Very Good. In very good, unmarked condition. No DJ. Your purchase benefits the world-wide relief efforts of Mennonite Central Committee.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Idioma: Inglés
Publicado por HarperCollins Publishers, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: Jay W. Nelson, Bookseller, IOBA, Austin, MN, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 5 de 5 estrellas
Original o primera edición
EUR 27,07
Envío por EUR 2,41
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. No Jacket. 1st Edition. In blue cloth. Bottom corners bumped. No jacket.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Librería: Fireside Bookshop, Stroud, GLOS, Reino Unido
Miembro de asociación: PBFA
Calificación del vendedor: 5 de 5 estrellas
EUR 23,92
Envío por EUR 29,02
Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCloth. 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.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row computer science and technology series)
Idioma: Inglés
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: The Media Foundation, BEAVERTON, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 83,91
Envío por EUR 3,93
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. 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.
-
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Idioma: Inglés
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 117,32
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Idioma: Alemán
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Librería: book-link, Nufringen, BW, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 40,00
Envío por EUR 49,90
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: Sehr gut. 528 Seiten; M25-07-O-16-VG Sprache: Deutsch Gewicht in Gramm: 3.
