Una aproximacion a la programacion logica con funciones indeterministas.

Tesis doctoral de Antonio Sarmiento Escalona La memoria es un intento de integracion de programacion logica y funcional derivado del […]

, , , , ,