ML Anthology

Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs

Detlef Fehrer, Helmut Horacek
IJCAI 1997 pp. 959-964
/ijcai/1997/fehrer1997ijcai-exploiting/
PDF IJCAI Semantic Scholar

Cite

Text

Fehrer and Horacek. "Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs." International Joint Conference on Artificial Intelligence, 1997.

Markdown

[Fehrer and Horacek. "Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs." International Joint Conference on Artificial Intelligence, 1997.](https://mlanthology.org/ijcai/1997/fehrer1997ijcai-exploiting/)

BibTeX

@inproceedings{fehrer1997ijcai-exploiting,
  title     = {{Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs}},
  author    = {Fehrer, Detlef and Horacek, Helmut},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1997},
  pages     = {959-964},
  url       = {https://mlanthology.org/ijcai/1997/fehrer1997ijcai-exploiting/}
}