Learning Search Heuristics for Automated Deduction . (Schriftenreihe Forschungsergebnisse zur Informatik)

von Matthias Fuchs Broschiert Details (Deutschland) ISBN-13: 978-3-86064-623-6 ISBN-10: 3-86064-623-0 Verlag Dr. Kovac · 1997