Predicate Learning and Selective Theory Deduction for Solving Difference Logic
https://www.powershow.com/view/14025e-YWY1O/Predicate_Learning_and_Selective_Theory_Deduction_for_Solving_Difference_Logic_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
