Experiments with a theorem-utilizing program - researchr publication

researchr

You are not signed in
Sign in
Sign up

Larry E. Travis. Experiments with a theorem-utilizing program. In Herbert R. Roller, editor, Proceedings of the 1964 spring joint computer conference, AFIPS 1964 (Spring), Washington, D.C., USA, April 21-23, 1964. pages 339-358, ACM, 1964. [doi]

Abstract is missing.

runs on WebDSL