Lógica Computacional
por Wolfgang Bibel · 1982
Sinopsis
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.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Restará un crédito a tus libros recomendados de esta semana.