BibTeX records: Hellfried Böttger

• > Home > Persons > Hellfried Böttger

@inproceedings{DBLP:conf/wi/BottgerHFZ91,
  author       = {Hellfried B{\"{o}}ttger and
                  Hermann Helbig and
                  Frank Ficker and
                  Frank Z{\"{a}}nker},
  editor       = {Wilfried Brauer and
                  Daniel Hern{\'{a}}ndez},
  title        = {Parallelen zwischen den Komponenten des nat{\"{u}}rlichsprachlichen
                  Interfaces {NLI-AIDOS} und den zugrundeliegenden Informationsrecherchesystem},
  booktitle    = {Verteilte K{\"{u}}nstliche Intelligenz und kooperatives Arbeiten,
                  4. Internationaler GI-Kongress Wissensbasierte Systeme, M{\"{u}}nchen,
                  23.-24. Oktober 1991, Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {291},
  pages        = {207--218},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-3-642-76980-1\_19},
  doi          = {10.1007/978-3-642-76980-1\_19},
  timestamp    = {Tue, 15 Dec 2020 16:47:35 +0100},
  biburl       = {https://dblp.org/rec/conf/wi/BottgerHFZ91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/eik/Bottger85,
  author       = {Hellfried B{\"{o}}ttger},
  title        = {Automatisches Theorembeweisen mit Konfigurationen},
  journal      = {J. Inf. Process. Cybern.},
  volume       = {21},
  number       = {10/11},
  pages        = {523--546},
  year         = {1985},
  timestamp    = {Fri, 06 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eik/Bottger85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}