Compartir
mechanical theorem proving in geometries (en Inglés)
Wu (Autor)
·
springer publishing map
· Libro Físico
mechanical theorem proving in geometries (en Inglés) - wu
$ 52.09
$ 54.99
Ahorras: $ 2.90
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 ListasSe enviará desde nuestra bodega entre el
Viernes 05 de Julio y el
Lunes 08 de Julio.
Lo recibirás en cualquier lugar de Estados Unidos entre 1 y 3 días hábiles luego del envío.
Reseña del libro "mechanical theorem proving in geometries (en Inglés)"
this book is a translation of professor wu?s seminal chinese book of 1984 on automated geometric theorem proving. the translation was done by his former student dongming wang jointly with xiaofan jin so that authenticity is guaranteed. meanwhile, automated geometric theorem proving based on wu?s method of characteristic sets has become one of the fundamental, practically successful, methods in this area that has drastically enhanced the scope of what is computationally tractable in automated theorem proving. this book is a source book for students and researchers who want to study both the intuitive first ideas behind the method and the formal details together with many examples.
- 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.