7th International Conference on Automated Deduction
by R. Shostak
- ISBN
- 9783540960225
7th International Conference on Automated Deduction es un symbolic and mathematical logic, automatic theorem proving book de R. Shostak.
Descubre 7th International Conference on Automated Deduction de R. Shostak, symbolic and mathematical logic.
Sobre el Autor
es el autor de 7th International Conference on Automated Deduction. Explora su catálogo completo en Booklogr.
Explora más libros de R. Shostak →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 7th International Conference on Automated Deduction?+
7th International Conference on Automated Deduction es un libro de Symbolic and mathematical Logic, Automatic theorem proving.
¿Quién escribió 7th International Conference on Automated Deduction?+
7th International Conference on Automated Deduction fue escrito por R. Shostak.