Realization of A Geometry-Theorem Proving Machine
書誌事項
- 公開日
- 1963
- 公開者
- McGraw-Hill
収録刊行物
-
- Computers and Thought
-
Computers and Thought 134-152, 1963
McGraw-Hill
Computers and Thought 134-152, 1963
McGraw-Hill
