Vol-88⫷ Vol-89 ⫸Vol-90
urn:nbn:de:0074-89-0


Vol-89/paper-5⫷Vol-89/paper-6⫸Vol-89/paper-7

Extending Classical Theorem Proving for the Semantic Web