Automated reasoning with analytic tableaux and related methods
by TABLEAUX '97 (1997 Pont-à-Mousson, France)
ISBN
3540629203
Automated reasoning with analytic tableaux and related methods es un parallel processing, automatic theorem proving book de TABLEAUX '97 (1997 Pont-à-Mousson, France).
Descubre Automated reasoning with analytic tableaux and related methods de TABLEAUX '97 (1997 Pont-à-Mousson, France), parallel processing.
Sobre el Autor
es el autor de Automated reasoning with analytic tableaux and related methods. Explora su catálogo completo en Booklogr.
Explora más libros de TABLEAUX '97 (1997 Pont-à-Mousson, France) →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 reasoning with analytic tableaux and related methods?+
Automated reasoning with analytic tableaux and related methods es un libro de Parallel processing, Automatic theorem proving, Artificial intelligence.
¿Quién escribió Automated reasoning with analytic tableaux and related methods?+
Automated reasoning with analytic tableaux and related methods fue escrito por TABLEAUX '97 (1997 Pont-à-Mousson, France).