BibTeX record journals/ki/PfeiferHVR92

download as .bib file

@article{DBLP:journals/ki/PfeiferHVR92,
  author    = {Rolf Pfeifer and
               Hubert F. Hofmann and
               Erik Vinkhuyzen and
               Philip Rademakers},
  title     = {Probleml{\"{o}}sende Systeme: Implikationen f{\"{u}}r Validierung,
               Zum Beitrag "Verifikation oder {\"{U}}berpr{\"{u}}fbarkeit"},
  journal   = {K{\"{u}}nstliche Intell.},
  volume    = {6},
  number    = {4},
  pages     = {71--73},
  year      = {1992},
  timestamp = {Tue, 14 Jul 2020 14:25:56 +0200},
  biburl    = {https://dblp.org/rec/journals/ki/PfeiferHVR92.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics