Programación declarativa cualificada con restricciones

Tesis doctoral de Carlos Alberto Romero Diaz «la incorporación del razonamiento con incertidumbre a la programación declarativa y, en especial, […]

, , , , ,