Frank M. Brown. An Investigation Into the Goals of Research in Automatic Theorem Proving as Related to Mathematical Reasoning. Artificial Intelligence, 14(3):221-242, 1980.
No references recorded for this publication.
No citations of this publication recorded.