Realization of A Geometry-Theorem Proving Machine

収録刊行物

• Computers and Thought

  Computers and Thought 134-152, 1963

  McGraw-Hill