ML Anthology

Representations for Reasoning About Digital Circuits

Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly
IJCAI 1981 pp. 343-344
doi:10.21236/ada103006 /ijcai/1981/mitchell1981ijcai-representations/
PDF IJCAI Semantic Scholar

Cite

Text

Mitchell et al. "Representations for Reasoning About Digital Circuits." International Joint Conference on Artificial Intelligence, 1981. doi:10.21236/ada103006

Markdown

[Mitchell et al. "Representations for Reasoning About Digital Circuits." International Joint Conference on Artificial Intelligence, 1981.](https://mlanthology.org/ijcai/1981/mitchell1981ijcai-representations/) doi:10.21236/ada103006

BibTeX

@inproceedings{mitchell1981ijcai-representations,
  title     = {{Representations for Reasoning About Digital Circuits}},
  author    = {Mitchell, Tom M. and Steinberg, Louis I. and Smith, Reid G. and Schooley, Pat and Jacobs, Howard and Kelly, Van E.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1981},
  pages     = {343-344},
  doi       = {10.21236/ada103006},
  url       = {https://mlanthology.org/ijcai/1981/mitchell1981ijcai-representations/}
}