Compartir
automated deduction in geometry (en Inglés)
$ 290.193
$ 483.655
Ahorras: $ 193.462
Elige la lista en la que quieres agregar tu producto o crea una nueva lista
✓ Producto agregado correctamente a la lista de deseos.
Ir a Mis Listas
Origen: Estados Unidos
(Costos de importación incluídos en el precio)
Se enviará desde nuestra bodega entre el
Lunes 20 de Mayo y el
Lunes 03 de Junio.
Lo recibirás en cualquier lugar de Colombia entre 1 y 5 días hábiles luego del envío.
Reseña del libro "automated deduction in geometry (en Inglés)"
this book constitutes the thoroughly refereed post-proceedings of the third international workshop on automated deduction in geometry, adg 2000, held in zurich, switzerland, in september 2000.the 16 revised full papers and two invited papers presented were carefully selected for publication during two rounds of reviewing and revision from a total of initially 31 submissions. among the issues addressed are spatial constraint solving, automated proving of geometric inequalities, algebraic proof, semi-algebraic proofs, geometrical reasoning, computational synthetic geometry, incidence geometry, and nonstandard geometric proofs.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
Todos los libros de nuestro catálogo son Originales.
El libro está escrito en Inglés.
✓ Producto agregado correctamente al carro, Ir a Pagar.