Lógica Computacional
1982·divulgacion
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.
WB
WB
Wolfgang Bibel
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.
Obras en el archivo
2 títulos
Razonamiento Automático: Teoría y Aplicaciones
1993·divulgacion
Un texto que explora los fundamentos teóricos y las aplicaciones prácticas del razonamiento automático, cubriendo áreas como la deducción automática, la representación del conocimiento y los sistemas expertos.
Autores relacionados
Aparecen junto a Wolfgang Bibel en búsquedas del archivo