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.
| Author: Helmut Schmidt |
| Publisher: Springer |
| Publication Date: Mar 13, 1991 |
| Number of Pages: 156 pages |
| Binding: Paperback or Softback |
| ISBN-10: 3540537546 |
| ISBN-13: 9783540537540 |