Automated Deduction Techniques for Knowledge Representation Applications
https://www.powershow.com/view1/262449-ZDc1Z/Automated_Deduction_Techniques_for_Knowledge_Representation_Applications_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/