Henrik Boström · 2 obras en el catálogoObrasAdvances in Intelligent Data Analysis XVEExplanation-based transformation of logic programsExplanation-based transformation of logic programs
EExplanation-based transformation of logic programsExplanation-based transformation of logic programs