BibTeX record conf/stoc/CaseS78

download as .bib file

@inproceedings{DBLP:conf/stoc/CaseS78,
  author    = {John Case and
               Carl Smith},
  title     = {Anomaly Hierarchies of Mechanized Inductive Inference},
  booktitle = {{STOC}},
  pages     = {314--319},
  publisher = {{ACM}},
  year      = {1978}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics