Theorem proving in higher order logics
by TPHOLs '96 (1996 Turku, Finland)
- ISBN
- 9783540615873
Theorem proving in higher order logics es un automatic theorem proving book de TPHOLs '96 (1996 Turku, Finland).
Descubre Theorem proving in higher order logics de TPHOLs '96 (1996 Turku, Finland), automatic theorem proving.
Sobre el Autor
TPHOLs '96 (1996 Turku, Finland) 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 TPHOLs '96 (1996 Turku, Finland).