DBLP Record 'conf/ki/SiekmannB04'

BibTeX

@inproceedings{DBLP:conf/ki/SiekmannB04,
  author    = {J{\"o}rg H. Siekmann and
               Christoph Benzm{\"u}ller},
  title     = {Omega: Computer Supported Mathematics},
  booktitle = {KI},
  year      = {2004},
  pages     = {3-28},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article{\&}issn=0302-9743{\&}volume=3238{\&}spage=3},
  crossref  = {DBLP:conf/ki/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ki/2004,
  editor    = {Susanne Biundo and
               Thom W. Fr{\"u}hwirth and
               G{\"u}nther Palm},
  title     = {KI 2004: Advances in Artificial Intelligence, 27th Annual
               German Conference on AI, KI 2004, Ulm, Germany, September
               20-24, 2004, Proceedings},
  booktitle = {KI},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3238},
  year      = {2004},
  isbn      = {3-540-23166-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}