Name: mechanical theorem proving in geometries (en Inglés)
Price: 2507.00 UYU
Availability: InStock
Author: wu
ISBN: 9783211825068

Selecciona tu país

América

Europa

Resto del mundo

portada mechanical theorem proving in geometries (en Inglés)

mechanical theorem proving in geometries (en Inglés)

Formato

Libro Físico

Editorial

Springer

Autor

Idioma

Inglés

N° páginas

288

ISBN

3211825061

ISBN13

9783211825068

Categorías

Ciencias de la computación

mechanical theorem proving in geometries (en Inglés)

Wu (Autor) · Springer · Libro Físico

Libro Nuevo Importado

Envío: 15 a 21 días háb.

$ 4.178$ 2.507

-40%

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

Libro Nuevo

Quedan más de 100 unidades

$ 2.507

Llega entre el 26 Ago y el 03 Sep a Montevideo, Montevideo. Seleccionar ubicación

Agregar a lista de deseos

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.