Login / Signup
REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies.
Claude Kirchner
Hélène Kirchner
Published in:
Sci. Comput. Program. (1987)
Keyphrases
</>
special case
decision trees
theoretical framework
implementation details
bayesian networks
multi agent systems
computational complexity
closely related
information retrieval
multiscale
information technology
efficient implementation
implementation issues