Automated Reasoning with Analytic Tableaux and Related Methods
by Uwe Egly
- ISBN
- 9783540456162
Automated Reasoning with Analytic Tableaux and Related Methods es un artificial intelligence, automatisches beweisverfahren book de Uwe Egly.
Descubre Automated Reasoning with Analytic Tableaux and Related Methods de Uwe Egly, artificial intelligence.
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 Uwe Egly →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 Artificial intelligence, Automatisches Beweisverfahren, Computer science, Software engineering.
¿Quién escribió Automated Reasoning with Analytic Tableaux and Related Methods?+
Automated Reasoning with Analytic Tableaux and Related Methods fue escrito por Uwe Egly.