DBLP Record 'conf/ki/Walther86'

BibTeX

@inproceedings{DBLP:conf/ki/Walther86,
  author    = {Christoph Walther},
  title     = {Automatisches Beweisen},
  booktitle = {KIFS},
  year      = {1986},
  pages     = {292-339},
  crossref  = {DBLP:conf/ki/1986kifs},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ki/1986kifs,
  editor    = {Thomas Christaller and
               Hans-Werner Hein and
               Michael M. Richter},
  title     = {K{\"u}nstliche Intelligenz, Theoretische Grundlagen und
               Anwendungsfelder, Fr{\"u}hjahrsschulen, Dassel, 8.-16.
               M{\"a}rz 1985 und 8.-16. M{\"a}rz 1986},
  booktitle = {KIFS},
  publisher = {Springer},
  series    = {Informatik-Fachberichte},
  volume    = {159},
  year      = {1988},
  isbn      = {3-540-18903-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}