ISBNs beginnend mit 978-3-86064-xxx-xOscar Slotosch × Analogieschlüsse beim automatischen Beweisen Oscar SlotoschKovac, Dr. VerlagHardcover35,15 € Refinements in HOLCF: Implementation of Interactive Systems Oscar SlotoschKovac, Dr. VerlagHardcover199775,65 €
