Inicial
Temas
Documentación
Sistemas
Temas del "Seminario de Lógica computacional (2015-16)"
Tema 1: El sistema deductivo de Prolog
.
Tema 2: Programación con Prolog
.
Tema 3: Casos de estudio de programación con Prolog
.
Tema 4: Resolución de problemas de espacios de estados
.
Tema 5: IngenierÃa del conocimiento y metaintérpretes
.
Inicial
|
Temas
|
Documentación
|
Sistemas
José A. Alonso Jiménez
Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 27-1-2022
Esta obra está bajo una
licencia de Creative Commons
.