BibTeX record journals/ki/BaumgartnerDDFKST98

download as .bib file

@article{DBLP:journals/ki/BaumgartnerDDFKST98,
  author    = {Peter Baumgartner and
               Ingo Dahn and
               J{\"{u}}rgen Dix and
               Ulrich Furbach and
               Michael K{\"{u}}hn and
               Frieder Stolzenburg and
               Bernd Thomas},
  title     = {Automated Deduction: a Technological Point of View},
  journal   = {{KI}},
  volume    = {12},
  number    = {4},
  pages     = {7--14},
  year      = {1998},
  timestamp = {Tue, 11 Feb 2003 09:55:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ki/BaumgartnerDDFKST98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}