Vol-224⫷ Vol-225 ⫸Vol-226
urn:nbn:de:0074-225-0


Vol-225/paper-5⫷Vol-225/paper-6⫸Vol-225/paper-7
Christian MeilickeHeiner StuckenschmidtAndrei Tamilin

Improving Automatically Created Mappings Using Logical Reasoning