First-order resolution

From Free net encyclopedia

Revision as of 12:41, 21 September 2005; view current revision
←Older revision | Newer revision→
#REDIRECTResolution (logic)
Retrieved from "http://www.netipedia.com/index.php/First-order_resolution"