BibTeX record conf/ijcai/GreenGKKMPTW79

download as .bib file

  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},
  title     = {Results in Knowledge-Based Program Synthesis},
  booktitle = {{IJCAI}},
  pages     = {342--344},
  publisher = {William Kaufmann},
  year      = {1979}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics