Importe total (1 artículo artículos):
Destino del pedido:
logic computer science foundations de gallier jean (14 resultados)
Comentarios
Ha buscado:
Autor :
gallier jean
,
Título :
logic computer science foundations
Modificar la búsqueda
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (14)
- 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
Encuadernación
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 (14)
Idioma (2)
Gastos de envío gratis
- Envío gratis a España (No hay ningún otro resultado que coincida con este filtro.)
Ubicación del vendedor
Valoración de los vendedores
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Publicado por HarperCollins Publishers, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Idioma: Inglés
Librería: ThriftBooks-Atlanta, AUSTELL, GA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,17
Convertir monedaEUR 10,44 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 1.6.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Publicado por John Wiley and Sons (WIE), 1988
ISBN 10: 0471615463 ISBN 13: 9780471615460
Idioma: Inglés
Librería: Buchpark, Trebbin, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 14,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Seiten: 526 | Sprache: Englisch | Produktart: Bücher.
-
Logic for Computer Science : Foundations of Automatic Theorem-Proving
Publicado por Addison-Wesley Educational Publishers, Incorporated, 1985
ISBN 10: 0060422254 ISBN 13: 9780060422257
Idioma: Inglés
Librería: Better World Books, Mishawaka, IN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,79
Convertir monedaEUR 18,18 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages.
-
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 24,12
Convertir monedaEUR 14,63 gastos de envío desde Reino Unido a EspañaCantidad 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
Publicado por Wiley & Sons 1987, 1987
Librería: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Alemania
Calificación del vendedor: 1 de 5 estrellas
EUR 25,00
Convertir monedaEUR 8,90 gastos de envío desde Alemania a EspañaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover Sehr gut erhalten.
-
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
Idioma: Inglés
Librería: Jay W. Nelson, Bookseller, IOBA, Austin, MN, Estados Unidos de America
Miembro de asociación: IOBA
Calificación del vendedor: 4 de 5 estrellas
Original o primera edición
EUR 26,84
Convertir monedaEUR 30,40 gastos de envío desde Estados Unidos de America a EspañaCantidad 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
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 50,28
Convertir monedaEUR 11,71 gastos de envío desde Reino Unido a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2nd edition. 496 pages. 9.00x6.00x1.50 inches. In Stock.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Librería: Giant Giant, Reston, VA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,83
Convertir monedaEUR 51,25 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritopaperback. Condición: UsedVeryGood. Very Good condition.Crisp pages. Clean cover and pages. Book shows minimal shelf wear. No highlighting/marking. Not Satisfied? Contact us to get a refund.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Librería: Toscana Books, AUSTIN, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 49,22
Convertir monedaEUR 26,06 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Publicado por Dover Publications (edition First Edition, First), 2015
ISBN 10: 0486780821 ISBN 13: 9780486780825
Idioma: Inglés
Librería: BooksRun, Philadelphia, PA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 17,50
Convertir monedaEUR 65,15 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. First Edition, First. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
-
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
Idioma: Inglés
Librería: The Media Foundation, BEAVERTON, OR, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 83,19
Convertir monedaEUR 21,67 gastos de envío desde Estados Unidos de America a EspañaCantidad 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, Second Edition (Dover Books on Computer Science)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 16,04
Convertir monedaEUR 93,82 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. 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!
-
Logic for Computer Science: Foundations of Automatic Theorem Proving (Harper & Row Computer Science and Technology Series)
Librería: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,27
Convertir monedaEUR 93,82 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritohardcover. 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!
-
Logic for computer science: Foundations of automatic theorem proving (Harper & Row computer science and technology series)
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 4 de 5 estrellas
EUR 116,31
Convertir monedaEUR 39,09 gastos de envío desde Estados Unidos de America a EspañaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
