Henri Farreny Knihy

AI and Expertise

Heuristic Search, Inference Engines, Automatic Proving