Interactive theorem proving and program development
by Yves Bertot
- ISBN
- 3540208542
Interactive theorem proving and program development es un automatic theorem proving, computer programming book de Yves Bertot.
Descubre Interactive theorem proving and program development de Yves Bertot, automatic theorem proving.
Sobre el Autor
es el autor de Interactive theorem proving and program development. Explora su catálogo completo en Booklogr.
Explora más libros de Yves Bertot →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 and program development?+
Interactive theorem proving and program development es un libro de Automatic theorem proving, Computer programming, Calculus of operations, Proof theory, Formal languages.
¿Quién escribió Interactive theorem proving and program development?+
Interactive theorem proving and program development fue escrito por Yves Bertot.