Importe total (1 artículo artículos):
Destino del pedido:
logic computer science foundations automatic de gallier jean (12 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (12)
- 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
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 (2)
- No impresión bajo demanda (12)
Idioma (3)
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 20,48
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 (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 16,78
Envío por EUR 4,36
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
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 21,44
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, Second Edition (Dover Books on Computer Science)
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 21,62
Envío por EUR 2,62
Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: acceptable.
-
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,03
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
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Book Express (NZ), Shannon, Nueva Zelanda
Calificación del vendedor: 4 de 5 estrellas
EUR 8,30
Envío por EUR 27,11
Se envía de Nueva Zelanda a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Very Good. 528 pages. This advanced text for undergraduate and graduate students introduces mathema tical logic with an emphasis on proof theory and procedures for algorithmic cons truction of formal proofs. The self-contained treatment is also useful for compu.
-
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,17
Envío por EUR 29,33
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
Publicado por Wiley & Sons 1987, 1987
Librería: Andere Welten Medienvertriebs GmbH, Ahrensburg, SH, Alemania
Calificación del vendedor: 3 de 5 estrellas
EUR 25,00
Envío por EUR 15,00
Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoSoftcover Sehr gut erhalten.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 54,86
Envío por EUR 14,66
Se envía de Reino Unido a Estados Unidos de AmericaCantidad 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 (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,77
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,12
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 50,02
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.
