ML Anthology

Structuring Computer Generated Proofs

Christoph Lingenfelder
IJCAI 1989 pp. 378-383
/ijcai/1989/lingenfelder1989ijcai-structuring/
PDF Semantic Scholar

Cite

Text

Lingenfelder. "Structuring Computer Generated Proofs." International Joint Conference on Artificial Intelligence, 1989.

Markdown

[Lingenfelder. "Structuring Computer Generated Proofs." International Joint Conference on Artificial Intelligence, 1989.](https://mlanthology.org/ijcai/1989/lingenfelder1989ijcai-structuring/)

BibTeX

@inproceedings{lingenfelder1989ijcai-structuring,
  title     = {{Structuring Computer Generated Proofs}},
  author    = {Lingenfelder, Christoph},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1989},
  pages     = {378-383},
  url       = {https://mlanthology.org/ijcai/1989/lingenfelder1989ijcai-structuring/}
}