Automated reasoning
by IJCAR 2004 (2004 Cork, Ireland)
ISBN
3540223452
Automated reasoning es un automatic theorem proving, computer logic book de IJCAR 2004 (2004 Cork, Ireland).
Descubre Automated reasoning de IJCAR 2004 (2004 Cork, Ireland), automatic theorem proving.
Sobre el Autor
IJCAR 2004 (2004 Cork, Ireland) es el autor de 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 Automated reasoning?+
Automated reasoning es un libro de Automatic theorem proving, Computer logic, MATHEMATICS, Infinity.
¿Quién escribió Automated reasoning?+
Automated reasoning fue escrito por IJCAR 2004 (2004 Cork, Ireland).