J. LOGIC PROGRAMMING 1999:41:233{CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, - Theorem - Document - PDFSEARCH.IO

First Page	Meta Content
	J. LOGIC PROGRAMMING 1999:41:233{CONJUNCTIVE PARTIAL DEDUCTION: FOUNDATIONS, CONTROL, ALGORITHMS, Add to Reading List Document Date: 2010-10-22 08:06:02 Open Document File Size: 479,15 KB Share Result on Facebook

UPDATE

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