ML Anthology

ASSIP-T: A Theorem-Proving Machine

Werner Dilger, Hans-Albert Schneider
IJCAI 1985 pp. 1194-1200
/ijcai/1985/dilger1985ijcai-assip/
PDF Semantic Scholar

Cite

Text

Dilger and Schneider. "ASSIP-T: A Theorem-Proving Machine." International Joint Conference on Artificial Intelligence, 1985.

Markdown

[Dilger and Schneider. "ASSIP-T: A Theorem-Proving Machine." International Joint Conference on Artificial Intelligence, 1985.](https://mlanthology.org/ijcai/1985/dilger1985ijcai-assip/)

BibTeX

@inproceedings{dilger1985ijcai-assip,
  title     = {{ASSIP-T: A Theorem-Proving Machine}},
  author    = {Dilger, Werner and Schneider, Hans-Albert},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1985},
  pages     = {1194-1200},
  url       = {https://mlanthology.org/ijcai/1985/dilger1985ijcai-assip/}
}