Importe total (1 artículo artículos):
Destino del pedido:
logic computer science foundations de gallier jean (15 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (15)
- 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 (3)
- Como nuevo, Excelente o Muy bueno (3)
- Bueno o Aceptable (7)
- Regular o Pobre (2)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
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 (15)
Idioma (2)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Logic for Computer Science Foundations of Automatic Theorem Proving, Second Edition
Publicado por Dover Publications, Mineola , NY, 2015
ISBN 10: 0486780821 ISBN 13: 9780486780825
Idioma: Inglés
Librería: Catnap Books, Cobleskill, NY, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 13,28
EUR 3,44 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good+. Advanced text introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. Nice, clean copy. ; Sm4t0; 496 pages.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science)
Librería: Goodwill Southern California, Los Angeles, CA, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 15,86
EUR 2,58 gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: acceptable.
-
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 15,86
EUR 3,22 gastos de envío en Estados Unidos de AmericaCantidad 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
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 25,30
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 2 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: HPB-Red, Dallas, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 21,98
EUR 3,22 gastos de envío en Estados Unidos de AmericaCantidad 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)
Publicado por Longman Higher Education, 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 25,51
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Fair. No Jacket. Missing dust jacket; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less.
-
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: 5 de 5 estrellas
Original o primera edición
EUR 26,57
EUR 2,79 gastos de envío en 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
Librería: Book Express (NZ), Shannon, Nueva Zelanda
Calificación del vendedor: 4 de 5 estrellas
EUR 7,51
EUR 26,65 gastos de envío desde 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, 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 42,85
EUR 3,70 gastos de envío en Estados Unidos de AmericaCantidad 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 (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,30
EUR 28,27 gastos de envío desde 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
Librería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 53,56
EUR 14,14 gastos de envío desde 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)
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: 4 de 5 estrellas
EUR 82,35
EUR 3,86 gastos de envío en 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)
Librería: The Book Spot, Sioux Falls, MN, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 115,13
Gratis gastos de envío en Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: New.
-
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 18,05
EUR 105,00 gastos de envío desde Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher.
-
Logic for Computer Science: Foundations of Automatic Theorem Proving
Publicado por Longman Higher Education, 1986
ISBN 10: 0060422254 ISBN 13: 9780060422257
Idioma: Alemán
Librería: book-link, Nufringen, BW, Alemania
Calificación del vendedor: 5 de 5 estrellas
EUR 52,19
EUR 60,00 gastos de envío desde 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.
