Mechanical Geometry Theorem Proving
- ISBN
- 9789027726506
Mechanical Geometry Theorem Proving es un automatic theorem proving book de Shang-Ching Chou.
Descubre Mechanical Geometry Theorem Proving de Shang-Ching Chou, automatic theorem proving.
Sobre el Autor
es el autor de Mechanical Geometry Theorem Proving. Explora su catálogo completo en Booklogr.
Explora más libros de Shang-Ching Chou →Ediciones y Formatos
Reseñas
Sin reseñas aún. ¿Has leído este libro? Comparte tus opiniones con la comunidad de Booklogr.
Iniciar sesión Inicia sesión para escribir una reseña
Preguntas Frecuentes
¿De qué género es Mechanical Geometry Theorem Proving?+
Mechanical Geometry Theorem Proving es un libro de Automatic theorem proving.
¿Quién escribió Mechanical Geometry Theorem Proving?+
Mechanical Geometry Theorem Proving fue escrito por Shang-Ching Chou.