Un operador general de contracción para programas lógicos

Vancheret, Claudio A.

Un operador general de contracción para programas lógicos

DIF-M3406