EExplanation-based transformation of logic programsExplanation-based transformation of logic programsde Henrik BoströmEdiciones (1)Explanation-based transformation of logic programs (1993)inglésMás obras de Henrik BoströmAdvances in Intelligent Data Analysis XVVer todas las obras de Henrik Boström →