Automated theorem proving
- ISBN
- 0387950753
Automated theorem proving es un automatic theorem proving, computer science book de Monroe Newborn.
Descubre Automated theorem proving de Monroe Newborn, automatic theorem proving.
Sobre el Autor
es el autor de Automated theorem proving. Explora su catálogo completo en Booklogr.
Explora más libros de Monroe Newborn →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 theorem proving?+
Automated theorem proving es un libro de Automatic theorem proving, Computer science, Artificial intelligence.
¿Quién escribió Automated theorem proving?+
Automated theorem proving fue escrito por Monroe Newborn.