Resolution proof systems
Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical Logic
Browse all genres - ISBN
- 0792340175
Resolution proof systems es un artificial intelligence, automatic theorem proving book de Zbigniew Stachniak.
Descubre Resolution proof systems de Zbigniew Stachniak, artificial intelligence.
Sobre el Autor
es el autor de Resolution proof systems. Explora su catálogo completo en Booklogr.
Explora más libros de Zbigniew Stachniak →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 Resolution proof systems?+
Resolution proof systems es un libro de Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic.
¿Quién escribió Resolution proof systems?+
Resolution proof systems fue escrito por Zbigniew Stachniak.