Interactive Theorem Proving
ISBN
9783642228629
Interactive Theorem Proving es un logic design, software engineering book de M. C. J. D. van Eekelen.
Descubre Interactive Theorem Proving de M. C. J. D. van Eekelen, logic design.
Sobre el Autor
es el autor de Interactive Theorem Proving. Explora su catálogo completo en Booklogr.
Explora más libros de M. C. J. D. van Eekelen →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 Interactive Theorem Proving?+
Interactive Theorem Proving es un libro de Logic design, Software engineering, Computer science, Artificial intelligence, Automatic theorem proving.
¿Quién escribió Interactive Theorem Proving?+
Interactive Theorem Proving fue escrito por M. C. J. D. van Eekelen.