Using sophisticated models in resolution theorem proving
- ISBN
- 0387102310
Using sophisticated models in resolution theorem proving es un automatic theorem proving, data processing book de David M. Sandford.
Descubre Using sophisticated models in resolution theorem proving de David M. Sandford, automatic theorem proving.
Sobre el Autor
David M. Sandford es el autor de Using sophisticated models in resolution theorem proving. 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 Using sophisticated models in resolution theorem proving?+
Using sophisticated models in resolution theorem proving es un libro de Automatic theorem proving, Data processing, Mathematics, Mathematical models.
¿Quién escribió Using sophisticated models in resolution theorem proving?+
Using sophisticated models in resolution theorem proving fue escrito por David M. Sandford.