Recommend this title to your librarian

  • A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems