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


Vol-1636/paper-01⫷Vol-1636/paper-02⫸Vol-1636/paper-03

Typed Meta-Interpretive Learning for Proof Strategies