ML Anthology

Structuring Mathematical Knowledge

Edwina Rissland Michener
IJCAI 1977 pp. 843
/ijcai/1977/michener1977ijcai-structuring/
PDF Semantic Scholar

Cite

Text

Michener. "Structuring Mathematical Knowledge." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Michener. "Structuring Mathematical Knowledge." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/michener1977ijcai-structuring/)

BibTeX

@inproceedings{michener1977ijcai-structuring,
  title     = {{Structuring Mathematical Knowledge}},
  author    = {Michener, Edwina Rissland},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {843},
  url       = {https://mlanthology.org/ijcai/1977/michener1977ijcai-structuring/}
}