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: 170783.00 COP
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: 15 a 21 días háb.

$ 341.566$ 170.783

-50%

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

Libro Nuevo

Quedan más de 100 unidades

$ 170.783

¡Envío Gratis! Llega entre el 07 Oct y el 19 Oct a Bogota, Cundinamarca. Seleccionar ubicación

Agregar a lista de deseos