Gelernter, H., 1959, Realization of a geometry theorem-proving machine, in: Proceedings of the International Conference on Information Processing, UNESCO.
author author date title title title title title title title booktitle booktitle booktitle booktitle booktitle booktitle booktitle booktitle publisher