BibTeX record conf/ic3k/KatsumiG10

download as .bib file

@inproceedings{DBLP:conf/ic3k/KatsumiG10,
  author    = {Megan Katsumi and
               Michael Gr{\"{u}}ninger},
  editor    = {Joaquim Filipe and
               Jan L. G. Dietz},
  title     = {Theorem Proving in the Ontology Lifecycle},
  booktitle = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge
               Engineering and Ontology Development, Valencia, Spain, October 25-28,
               2010},
  pages     = {37--49},
  publisher = {SciTePress},
  year      = {2010},
  timestamp = {Thu, 27 Oct 2011 12:58:04 +0200},
  biburl    = {https://dblp.org/rec/conf/ic3k/KatsumiG10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics