Semántica declarativa trivaluada para la programación en lógica rebatible

Cecchi, Laura Andrea

Semántica declarativa trivaluada para la programación en lógica rebatible - p. 9-13

DIF-M4949