ML Anthology

Using Hundreds of Workstations to Solve First-Order Logic Problems

Alberto Maria Segre, David B. Sturgill
AAAI 1994 pp. 187-192
/aaai/1994/segre1994aaai-using/
PDF AAAI Semantic Scholar

Cite

Text

Segre and Sturgill. "Using Hundreds of Workstations to Solve First-Order Logic Problems." AAAI Conference on Artificial Intelligence, 1994.

Markdown

[Segre and Sturgill. "Using Hundreds of Workstations to Solve First-Order Logic Problems." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/segre1994aaai-using/)

BibTeX

@inproceedings{segre1994aaai-using,
  title     = {{Using Hundreds of Workstations to Solve First-Order Logic Problems}},
  author    = {Segre, Alberto Maria and Sturgill, David B.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1994},
  pages     = {187-192},
  url       = {https://mlanthology.org/aaai/1994/segre1994aaai-using/}
}