Automated development of fundamental mathematical theories
by Art Quaife
- ISBN
- 0792320212
Automated development of fundamental mathematical theories es un artificial intelligence, automatic theorem proving book de Art Quaife.
Descubre Automated development of fundamental mathematical theories de Art Quaife, artificial intelligence.
Sobre el Autor
Art Quaife es el autor de Automated development of fundamental mathematical theories. Explora su catálogo completo en Booklogr.
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 Automated development of fundamental mathematical theories?+
Automated development of fundamental mathematical theories es un libro de Artificial intelligence, Automatic theorem proving, Proof theory.
¿Quién escribió Automated development of fundamental mathematical theories?+
Automated development of fundamental mathematical theories fue escrito por Art Quaife.