Theorem proving in higher order logics
- ISBN
- 9783540230175
Theorem proving in higher order logics es un automatic theorem proving book de .
Descubre Theorem proving in higher order logics de , automatic theorem proving.
Sobre el Autor
es el autor de Theorem proving in higher order logics. 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 Theorem proving in higher order logics?+
Theorem proving in higher order logics es un libro de Automatic theorem proving.
¿Quién escribió Theorem proving in higher order logics?+
Theorem proving in higher order logics fue escrito por .