Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1

Artificial Intelligence and Symbolic Computation: 8th International Conference,

Ø 0.0
0 Bewertungen
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: