Pre Feria Quito con hasta 60% OFF  Ver más

Enviar a
Quito, Pichincha
0

Mi Cuenta

  • argentina
  • chile
  • colombia
  • españa
  • méxico
  • perú
  • estados unidos
  • internacional

menú

Selecciona tu país

América

Europa

Resto del mundo

portada automated deduction - cade-16 (en Inglés)
automated deduction - cade-16 (en Inglés)automated deduction - cade-16 (en Inglés)
Formato
Libro Físico
Editorial
Idioma
Inglés
N° páginas
429
ISBN
3540662227
ISBN13
9783540662228
Categorías

automated deduction - cade-16 (en Inglés)

Libro Nuevo Importado
Envío: 18 a 25 días háb.
$ 107.13$ 58.92
-45%
Costos de importación incluídos en el precio ✅
Libro Nuevo

Quedan más de 100 unidades

$ 58.92
Llega entre el 23 Oct y el 09 Nov a Quito, Pichincha. Seleccionar ubicación

Elige la lista en la que quieres agregar tu producto o crea una nueva lista

Ir a Mis Listas
Calcula el costo de envío

Reseña del libro "automated deduction - cade-16 (en Inglés)"

this book constitutes the refereed proceedings of the 16th international conference on automated deduction, cade-16, held in trento, italy in july 1999 as part of floc99. the 21 revised full papers presented were carefully reviewed and selected from a total of 83 submissions. also included are 15 system descriptions and two invited full papers. the book addresses all current issues in automated deduction and theorem proving, ranging from logical foundations to deduction systems design and evaluation

Opiniones del libro

Ver más opiniones de clientes
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)
  • 0% (0)

Preguntas frecuentes sobre el libro

¿El libro es original?

Todos los libros de nuestro catálogo son Originales.

¿En qué Idioma está escrito el libro?

El libro está escrito en Inglés.

Preguntas y respuestas sobre el libro

¿Tienes una pregunta sobre el libro? Inicia sesión para poder agregar tu propia pregunta.

Opiniones sobre Buscalibre

Ver más opiniones de clientes