Inverse Resolution
Jump to navigation
Jump to search
See: First-Order Logic; Logic of Generality; Resolution.
References
2011
- (Sammut & Webb, 2011) ⇒ Claude Sammut, and Geoffrey I. Webb. (2011). “Inverse Resolution.” In: (Sammut & Webb, 2011) p.558