DBLP Record 'journals/ki/BaumgartnerDDFKST98'

BibTeX

@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},
  year      = {1998},
  pages     = {7-14},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}