Next: OTTER
Up: No Title
Previous: Control avanzado
- normalmente aceptan como lenguaje FOL sin necesidad de convertir a cláusulas Horn
- normalmente basados en resolución
- estrategias de control para una operación eficiente
Alvaro Barreiro Garcia
Thu Jul 18 18:54:04 MET DST 1996