Learning Search Control Knowledge for Equational Deduction
Series: Dissertations in Artificial Intelligence-Infix, 230
Publisher: Ios Pr Inc
Published: August 2000
Language: eng
Format: Paperback
Number of pages: 186
ISBN-13: 9781586031503
Subjects: Machine learning; Computers; Computer Books: General; Programming - General