Mechanizing mathematical reasoning
ISBN
9783540322542
Mechanizing mathematical reasoning es un automatic theorem proving, technique book de Jörg H. Siekmann.
Descubre Mechanizing mathematical reasoning de Jörg H. Siekmann, automatic theorem proving.
Sobre el Autor
es el autor de Mechanizing mathematical reasoning. Explora su catálogo completo en Booklogr.
Explora más libros de Jörg H. Siekmann →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 Mechanizing mathematical reasoning?+
Mechanizing mathematical reasoning es un libro de Automatic theorem proving, Technique, Symbolic and mathematical Logic, Reasoning, Automation.
¿Quién escribió Mechanizing mathematical reasoning?+
Mechanizing mathematical reasoning fue escrito por Jörg H. Siekmann.