Vol-256⫷ Vol-257 ⫸Vol-258
urn:nbn:de:0074-257-0


Vol-257/paper-2⫷Vol-257/paper-3⫸Vol-257/paper-4

Semantic Selection of Premisses for Automated Theorem Proving