Name: automated reasoning with analytic tableaux and related methods: 20th international conference, tableaux 2011, bern, switzerland, july 4-8, 2011, proce (en Inglés)
SKU: 24696178
Price: 71830.00 CLP
Availability: InStock
Author: brunnler, kai
ISBN: 9783642221187

Selecciona tu país

América

Europa

Resto del mundo

portada automated reasoning with analytic tableaux and related methods: 20th international conference, tableaux 2011, bern, switzerland, july 4-8, 2011, proce (en Inglés)

automated reasoning with analytic tableaux and related methods: 20th international conference, tableaux 2011, bern, switzerland, july 4-8, 2011, proce (en Inglés)

Formato

Libro Físico

Editorial

springer

Autor

brunnler, kai

Año

2011

Idioma

Inglés

N° páginas

277

ISBN

3642221181

ISBN13

9783642221187

Categorías

Inteligencia artificial

automated reasoning with analytic tableaux and related methods: 20th international conference, tableaux 2011, bern, switzerland, july 4-8, 2011, proce (en Inglés)

Brunnler, Kai (Autor) · springer · Libro Físico

Libro Nuevo Importado

Envío: 23 a 27 días háb.

$ 130.600$ 71.830

-45%

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

Libro Nuevo

Quedan 100 unidades

$ 71.830

Llega entre el 15 Dic y el 21 Dic a Santiago, Región Metropolitana. Seleccionar ubicación

Agregar a lista de deseos