Skip to content
cs-conference-ranking.org

Theorem Proving in the Ontology Lifecycle.

Megan Katsumi, Michael Grninger

VenueCIC3K
Year2010
ProceedingsKEOD
DBLP recordconf/ic3k/KatsumiG10 ↗

Browse the full IC3K paper archive.