Inverse resolution
From Wikipedia, the free encyclopedia
Inverse resolution is an inductive reasoning technique that involves inverting the resolution operator.
[edit] References
 |
This logic-related article is a stub. You can help by expanding it. |
