Automated Deduction Techniques for Knowledge Representation Applications
https://www.powershow.com/view/71b0c-YjRhM/Automated_Deduction_Techniques_for_Knowledge_Representation_Applications_powerpoint_ppt_presentation
Icons create by Freepik from www.flaticon.com/
