Modularidad en programacion lógico-funcional de primer orden

Tesis doctoral de Molina Bravo Juan Miguel Esta tesis seocupa de una propuesta de lógica de reescritura condicional basada en […]

, , , , ,