Tecnicas de transformacion de programas logicos para su optimizacion y paralelizacion automatica

Tesis doctoral de Francisco Bueno Carrillo La tesis propone transformaciones de programas logicos que tienen por objetivo su optimizacion mediante […]

, , , , ,