Structuring Mathematical Knowledge
Proceedings of the Fifth International Joint Conference on Artificial Intelligence. Specialized Systems. Pages 843--1.
Abstract
Edwina Rissland Michener. 1977. Structuring Mathematical Knowledge. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77. IJCAI, 843–-1. https://ijcai.org/proceedings/1977/199
Michener, E. R. (1977). Structuring Mathematical Knowledge. In Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 (pp. 843–-1). IJCAI. https://ijcai.org/proceedings/1977/199
@inproceedings{ijcai1977p199,
title = {Structuring Mathematical Knowledge},
author = {Michener, Edwina Rissland},
booktitle = {Proceedings of the Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-77}},
publisher = {International Joint Conferences on Artificial Intelligence},
editor = {Raj Reddy},
pages = {843---1},
year = {1977},
note = {Specialized Systems},
url = {https://ijcai.org/proceedings/1977/199},
}
TY - CPAPER TI - Structuring Mathematical Knowledge AU - Michener, Edwina Rissland T2 - Proceedings of the Fifth International Joint Conference on Artificial Intelligence, IJCAI-77 PB - International Joint Conferences on Artificial Intelligence PY - 1977 SP - 843 EP - -1 UR - https://ijcai.org/proceedings/1977/199 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
