Vol-3248⫷ Vol-3249 ⫸Vol-3250
urn:nbn:de:0074-3249-0


Vol-3249/paper3-FMKD⫷Vol-3249/paper1-FOUST⫸Vol-3249/paper2-FOUST

Foundational Ontologies Meet Automatic Theorem Provers