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