1.
|
Programación en lógica inductiva para la corrección de bases de conocimiento lógicas Delladio, Telma
|
2.
|
Compilación de programas lógicos que utilizan la negación por falla García, Alejandro Javier - Simari, Guillermo Ricardo
|