ISBN 9783860646236 books & textbook

Learning Search Heuristics for Automated Deduction

Verlag Dr. Kovac /1997T Perfect Paperback
isbn-10: 3860646230 / isbn-13: 9783860646236