Lógica Computacional
por Wolfgang Bibel · 1982
Ver sugerenciasSinopsis
Un influyente texto que aborda la automatización de la prueba de teoremas y los fundamentos teóricos de la inferencia automática, considerado pionero en el campo de la lógica computacional.
Sé el primero en valorar este libro.
Más de Wolfgang Bibel
Ver autor →Otras obras del mismo autor en el catálogo
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.