---
title: "Structuring Mathematical Knowledge"
authors:
  - "Edwina Rissland Michener"
doi: ""
url: "https://ijcai.org/proceedings/1977/199"
pdf: "https://ijcai.org/proceedings/1977/0199.pdf"
venue: "Proceedings of the Fifth International Joint Conference on Artificial Intelligence"
year: 1977
pages: "843--1"
track: "Specialized Systems"
keywords:
---

# Structuring Mathematical Knowledge

Edwina Rissland Michener

*Proceedings of the Fifth International Joint Conference on Artificial Intelligence*, pages 843--1.

## Abstract