ML Anthology

First Experiments with Rue Automated Deduction

Vincent J. Digricoli
AAAI 1980 pp. 96-98
/aaai/1980/digricoli1980aaai-first/
PDF AAAI Semantic Scholar

Cite

Text

Digricoli. "First Experiments with Rue Automated Deduction." AAAI Conference on Artificial Intelligence, 1980.

Markdown

[Digricoli. "First Experiments with Rue Automated Deduction." AAAI Conference on Artificial Intelligence, 1980.](https://mlanthology.org/aaai/1980/digricoli1980aaai-first/)

BibTeX

@inproceedings{digricoli1980aaai-first,
  title     = {{First Experiments with Rue Automated Deduction}},
  author    = {Digricoli, Vincent J.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1980},
  pages     = {96-98},
  url       = {https://mlanthology.org/aaai/1980/digricoli1980aaai-first/}
}