Generating Plans from ProofsBalder ten Cate, Michael Benedikt og 2 andrePocketEngelskDel av serien Synthesis Lectures on Data ManagementLegg i handlekurvNettlager