ML Anthology

A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution

Christoph Walther
AAAI 1984 pp. 330-334
/aaai/1984/walther1984aaai-mechanical/
PDF AAAI Semantic Scholar

Cite

Text

Walther. "A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution." AAAI Conference on Artificial Intelligence, 1984.

Markdown

[Walther. "A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution." AAAI Conference on Artificial Intelligence, 1984.](https://mlanthology.org/aaai/1984/walther1984aaai-mechanical/)

BibTeX

@inproceedings{walther1984aaai-mechanical,
  title     = {{A Mechanical Solution of Schubert's Steamroller by Many-Sorted Resolution}},
  author    = {Walther, Christoph},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1984},
  pages     = {330-334},
  url       = {https://mlanthology.org/aaai/1984/walther1984aaai-mechanical/}
}