BibTeX record: conf/ijcai/Pratt71

download as .bib file

@inproceedings{DBLP:conf/ijcai/Pratt71,
  author    = {Terrence W. Pratt},
  title     = {Kernel Equivalence of Programs and Proving Kernel Equivalence and
               Correctness by Test Cases},
  booktitle = {Proceedings of the 2nd International Joint Conference on Artificial
               Intelligence. London, UK, September 1971.},
  year      = {1971},
  pages     = {474--480},
  crossref  = {DBLP:conf/ijcai/1971},
  timestamp = {Wed, 22 Oct 2014 14:14:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/Pratt71},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/1971,
  editor    = {D. C. Cooper},
  title     = {Proceedings of the 2nd International Joint Conference on Artificial
               Intelligence. London, UK, September 1971},
  year      = {1971},
  publisher = {William Kaufmann},
  isbn      = {0-934613-34-6},
  timestamp = {Wed, 22 Oct 2014 14:14:37 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/1971},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}