دانلود فایل منبع Mechanical geometry theorem proving
. این منبع (کتاب) توسط Shang-Ching Chou نوشته شده و
ویرایش 1 جلد از انتشارات
D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers است و منتشر شده در سال 1988 می باشد