Name: automated deduction -- cade-23: 23rd international conference on automated deduction, wroclaw, poland, july 31 -- august 5, 2011, proceedings (en Inglés)
SKU: 24696203
Price: 68630.00 CLP
Availability: InStock
Author: bjorner, nikolaj
ISBN: 9783642224379

Selecciona tu país

América

Europa

Resto del mundo

portada automated deduction -- cade-23: 23rd international conference on automated deduction, wroclaw, poland, july 31 -- august 5, 2011, proceedings (en Inglés)

automated deduction -- cade-23: 23rd international conference on automated deduction, wroclaw, poland, july 31 -- august 5, 2011, proceedings (en Inglés)

Formato

Libro Físico

Editorial

springer

Autor

bjorner, nikolaj

Año

2011

Idioma

Inglés

N° páginas

508

ISBN

3642224377

ISBN13

9783642224379

Categorías

Inteligencia artificial

automated deduction -- cade-23: 23rd international conference on automated deduction, wroclaw, poland, july 31 -- august 5, 2011, proceedings (en Inglés)

Bjorner, Nikolaj (Autor) · springer · Libro Físico

Libro Nuevo Importado

Envío: 12 a 17 días háb.

$ 124.780$ 68.630

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan más de 100 unidades

$ 68.630

Llega entre el 06 Oct y el 14 Oct a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos