Artificial Intelligence and Symbolic Computation: 8th International Conference,
69,15 €
They are based on heuristics and mathematical algorithmics, respectively, and each of them can be applied to the other. Invited Presentations. - An Inductive Inference System and Its Rationality. - Semantic Guidance for Saturation Provers.
Jetzt bei Ebay: