Automated deduction in multiple-valued logics
- ISBN
- 0198539894
Automated deduction in multiple-valued logics es un automatic theorem proving, symbolic and mathematical logic book de Reiner Hähnle.
Descubre Automated deduction in multiple-valued logics de Reiner Hähnle, automatic theorem proving.
Sobre el Autor
Reiner Hähnle es el autor de Automated deduction in multiple-valued 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 Automated deduction in multiple-valued logics?+
Automated deduction in multiple-valued logics es un libro de Automatic theorem proving, Symbolic and mathematical Logic, Logic, symbolic and mathematical.
¿Quién escribió Automated deduction in multiple-valued logics?+
Automated deduction in multiple-valued logics fue escrito por Reiner Hähnle.