Search dblp for Publications

export results for "Anomaly Hierarchies of Mechanized Inductive Inference"

 download as .bib file

@inproceedings{DBLP:conf/stoc/CaseS78,
  author    = {John Case and
               Carl Smith},
  editor    = {Richard J. Lipton and
               Walter A. Burkhard and
               Walter J. Savitch and
               Emily P. Friedman and
               Alfred V. Aho},
  title     = {Anomaly Hierarchies of Mechanized Inductive Inference},
  booktitle = {Proceedings of the 10th Annual {ACM} Symposium on Theory of Computing,
               May 1-3, 1978, San Diego, California, {USA}},
  pages     = {314--319},
  publisher = {{ACM}},
  year      = {1978},
  url       = {https://doi.org/10.1145/800133.804360},
  doi       = {10.1145/800133.804360},
  timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/conf/stoc/CaseS78.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics