Vol-2777⫷ Vol-2778 ⫸Vol-2779
urn:nbn:de:0074-2778-0


Vol-2778/paper2⫷Vol-2778/paper3⫸Vol-2778/paper4
Tamara FlemischRicardo LangnerChristian AlrabbaaRaimund Dachselt

Towards Designing a Tool For Understanding Proofs in Ontologies through Combined Node-Link Diagrams