Programación en lógica temporal basada en los operadores since y until

Cobo, María Laura

Programación en lógica temporal basada en los operadores since y until

DIF-M3409