BibTeX records: Steve Tappel

download as .bib file

@inproceedings{DBLP:conf/aaai/Tappel80,
  author    = {Steve Tappel},
  editor    = {Robert Balzer},
  title     = {Some Algorithm Design Methods},
  booktitle = {Proceedings of the 1st Annual National Conference on Artificial Intelligence,
               Stanford University, CA, USA, August 18-21, 1980},
  pages     = {64--67},
  publisher = {{AAAI} Press/MIT Press},
  year      = {1980},
  url       = {http://www.aaai.org/Library/AAAI/1980/aaai80-018.php},
  timestamp = {Mon, 18 Jun 2018 21:18:20 +0200},
  biburl    = {https://dblp.org/rec/conf/aaai/Tappel80.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/GreenGKKMPTW79,
  author    = {C. Cordell Green and
               Richard P. Gabriel and
               Elaine Kant and
               Beverly I. Kedzierski and
               Brian P. McCune and
               Jorge V. Phillips and
               Steve Tappel and
               Stephen J. Westfold},
  editor    = {Bruce G. Buchanan},
  title     = {Results in Knowledge-Based Program Synthesis},
  booktitle = {Proceedings of the Sixth International Joint Conference on Artificial
               Intelligence, {IJCAI} 79, Tokyo, Japan, August 20-23, 1979, 2 Volumes},
  pages     = {342--344},
  publisher = {William Kaufmann},
  year      = {1979},
  timestamp = {Sun, 18 Apr 2021 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/GreenGKKMPTW79.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics