Lógica Computacional
1982·no ficcion
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.
alemán
Wolfgang Bibel es un destacado científico y matemático alemán, conocido por sus contribuciones en el campo de la inteligencia artificial y la teoría de grafos. Su trabajo ha influido en el desarrollo de algoritmos y estructuras computacionales en diversas disciplinas.
1982·no ficcion
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.
Aparecen junto a Wolfgang Bibel en búsquedas del archivo