 |
|
|
|
 |  |  |  |  Generic Inference: A Unifying Theory for Automated Reasoning
Abstract mathematical structures usually have a large number of models. Algorithms
based on operations and laws of such structures therefore have an identical form:
they are generic. This means that for each particular instance of the structure, only
the basic operations have to be adapted, whereas the overall algorithm remains the... |
|
|
Result Page: 33 32 31 30 29 28 27 26 25 24 23 22 |