A proof theory for general unification
by Wayne Snyder
- ISBN
- 9781461267584
A proof theory for general unification es un automatic theorem proving book de Wayne Snyder.
Descubre A proof theory for general unification de Wayne Snyder, automatic theorem proving.
Sobre el Autor
es el autor de A proof theory for general unification. Explora su catálogo completo en Booklogr.
Explora más libros de Wayne Snyder →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 A proof theory for general unification?+
A proof theory for general unification es un libro de Automatic theorem proving.
¿Quién escribió A proof theory for general unification?+
A proof theory for general unification fue escrito por Wayne Snyder.