J. LOGIC PROGRAMMING 1999:41:233{CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS,

First Page		Document Content
Date: 2010-10-22 08:06:02 Automated theorem proving Operator Operator theory Resolution Horn clause		J. LOGIC PROGRAMMING 1999:41:233{CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, Add to Reading List Source URL: repository.readscheme.org Download Document from Source Website File Size: 479,15 KB Share Document on Facebook