Vol-1635⫷ Vol-1636 ⫸Vol-1637
urn:nbn:de:0074-1636-0


Vol-1636/paper-01⫷Vol-1636/paper-02⫸Vol-1636/paper-03
Colin FarquharGudmund GrovAndrew CropperAlan BundyStephen H. Muggleton

Typed Meta-Interpretive Learning for Proof Strategies