Realization of A Geometry-Theorem Proving Machine
収録刊行物
-
- Computers and Thought
-
Computers and Thought 134-152, 1963
McGraw-Hill
Computers and Thought 134-152, 1963
McGraw-Hill