Importe total (1 artículo artículos):
Destino del pedido:
9780486780825 - Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition (Dover Books on Computer Science) de Gallier, Jean (4 resultados)
Ir a los resultados principales
Filtros de búsqueda
Tipo de artículo
- Todos los tipos de productos
- Libros (4)
- 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 (2)
- Como nuevo, Excelente o Muy bueno (No hay ningún otro resultado que coincida con este filtro.)
- Bueno o Aceptable (1)
- Regular o Pobre (1)
- Tal como se indica (No hay ningún otro resultado que coincida con este filtro.)
Encuadernación
- Todas
- Tapa dura (No hay ningún otro resultado que coincida con este filtro.)
- Tapa blanda (4)
Más atributos
- Primera edición (No hay ningún otro resultado que coincida con este filtro.)
- 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 (4)
Idioma (1)
Gastos de envío gratis
Ubicación del vendedor
Valoración de los vendedores
-
Logic for Computer Science Format: Paperback
Libro 19 de 19: Dover Books on Computer ScienceLibrería: INDOO, Avenel, NJ, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
EUR 22,56
Gastos de envío gratis
Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. Brand New.
-
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,32
Envío por EUR 2,59
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
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,32
Envío por EUR 26,72
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
Libro 19 de 19: Dover Books on Computer ScienceLibrería: Revaluation Books, Exeter, Reino Unido
Calificación del vendedor: 5 de 5 estrellas
EUR 51,38
Envío por EUR 14,49
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.
