Handbook of automated reasoning
Qualitative reasoningAutomatic theorem provingArtificial intelligenceKnowledge representationDeductive databases
Browse all genres - ISBN
- 9780444508133
Handbook of automated reasoning es un qualitative reasoning, automatic theorem proving book de J. A. Robinson.
Descubre Handbook of automated reasoning de J. A. Robinson, qualitative reasoning.
Sobre el Autor
J. A. Robinson es el autor de Handbook of automated reasoning. 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 Handbook of automated reasoning?+
Handbook of automated reasoning es un libro de Qualitative reasoning, Automatic theorem proving, Artificial intelligence, Knowledge representation, Deductive databases.
¿Quién escribió Handbook of automated reasoning?+
Handbook of automated reasoning fue escrito por J. A. Robinson.