Fundamentos lógicos e implementación de una extensión a Temporal Prolog

Cobo, María Laura

Fundamentos lógicos e implementación de una extensión a Temporal Prolog

DIF-M3402