Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.
Automatic theorem provers are GPS for which every problem can be expressed as logical inference
Automated theorem proving is about proving of mathematical theorems by a computer program
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License