A Flexible, Natural Deduction, Automated Reasoner for Quick Deployment of Non-Classical Logic
Automated Theorem Provers (ATP) are software programs which carry out inferences over logico-mathematical systems, often with the goal of finding proofs to some given theorem. ATP systems are enormously powerful computer programs, capable of solving immensely difficult problems. Currently, many auto...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
Scholar Commons
2019
|
| Subjects: | |
| Online Access: | https://scholarcommons.usf.edu/etd/7862 https://scholarcommons.usf.edu/cgi/viewcontent.cgi?article=9059&context=etd |