BibTeX record conf/stoc/Cook71

download as .bib file

@inproceedings{DBLP:conf/stoc/Cook71,
  author    = {Stephen A. Cook},
  title     = {The Complexity of Theorem-Proving Procedures},
  booktitle = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing,
               May 3-5, 1971, Shaker Heights, Ohio, {USA}},
  pages     = {151--158},
  year      = {1971},
  crossref  = {DBLP:conf/stoc/STOC3},
  url       = {http://doi.acm.org/10.1145/800157.805047},
  doi       = {10.1145/800157.805047},
  timestamp = {Mon, 17 Oct 2011 17:25:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/Cook71},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/stoc/STOC3,
  editor    = {Michael A. Harrison and
               Ranan B. Banerji and
               Jeffrey D. Ullman},
  title     = {Proceedings of the 3rd Annual {ACM} Symposium on Theory of Computing,
               May 3-5, 1971, Shaker Heights, Ohio, {USA}},
  publisher = {{ACM}},
  year      = {1971},
  timestamp = {Mon, 17 Oct 2011 15:55:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/stoc/STOC3},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}