Computational logic and proof theory
by Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic)
- ISBN
- 0387571841
Computational logic and proof theory es un automatic theorem proving, symbolic and mathematical logic book de Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).
Descubre Computational logic and proof theory de Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic), automatic theorem proving.
Sobre el Autor
Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic) es el autor de Computational logic and proof theory. 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 Computational logic and proof theory?+
Computational logic and proof theory es un libro de Automatic theorem proving, Symbolic and mathematical Logic.
¿Quién escribió Computational logic and proof theory?+
Computational logic and proof theory fue escrito por Kurt Gödel Colloquium (3rd 1993 Brno, Czech Republic).