Vol-1659⫷ Vol-1660 ⫸Vol-1661
urn:nbn:de:0074-1660-0


Vol-1660/demo-paper1⫷Vol-1660/demo-paper2⫸Vol-1660/demo-paper3
Eugen KuksaTill Mossakowski

Ontohub: Version Control, Linked Data and Theorem Proving for Ontologies