A Connectionist Approach for Learning Search-Control Heuristics for Automated Deduction Systems
Series: Dissertations in Artificial Intelligence-Infix, 206
Publisher: Ios Pr Inc
Published: August 1998
Language: eng
Format: Paperback
Number of pages: 136
ISBN-13: 9781586031121
Subjects: Programming - General; Computers; Computer Books: General