BibTeX record conf/ic3k/NeumaierS10

download as .bib file

@inproceedings{DBLP:conf/ic3k/NeumaierS10,
  author    = {Arnold Neumaier and
               Peter Schodl},
  editor    = {Joaquim Filipe and
               Jan L. G. Dietz},
  title     = {A Framework for Representing and Processing Arbitrary Mathematics},
  booktitle = {{KEOD} 2010 - Proceedings of the International Conference on Knowledge
               Engineering and Ontology Development, Valencia, Spain, October 25-28,
               2010},
  pages     = {476--479},
  publisher = {SciTePress},
  year      = {2010},
  timestamp = {Thu, 27 Oct 2011 12:58:04 +0200},
  biburl    = {https://dblp.org/rec/conf/ic3k/NeumaierS10.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics