A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems (Dissertations in Artificial Intelligence-Infix, 206)人気の秘密、口コミ評判
A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems (Dissertations in Artificial Intelligence-Infix, 206) 詳細