This monograph presents an expert deductive database system that allows explicit control of the deduction process. The system consists of an object-level describing the logical aspects of a problem and of a meta-level that contains control information affecting the deduction process.
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.