Slide 1Literature Review Presented By: Syeda Saleha Raza Faculty of Computer Science IBA, Karachi Slide 2 Reasoning is ability to do inferences. Automated reasoning is computing…
