ISBN 3860646230 books & textbook
Learning Search Heuristics for Automated Deduction
Verlag Dr. Kovac /1997T Perfect Paperback
isbn-10: 3860646230 / isbn-13: 9783860646236
Verlag Dr. Kovac /1997T Perfect Paperback
isbn-10: 3860646230 / isbn-13: 9783860646236