Automatic formation of a "machine theory" representing a mapping

Saul Amarel. Automatic formation of a "machine theory" representing a mapping. In Thomas C. Rowan, editor, Proceedings of the 16th ACM national meeting, ACM 1961, USA. pages 23, ACM, 1961. [doi]

Abstract

Abstract is missing.