تئوری هندسه هندسی اثبات
Mechanical Geometry Theorem Proving
نویسنده: Shang-Ching Chou
ناشر: D. Reidel Pub. Co.; Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers
سال انتشار: 1988
تعداد صفحات: 187
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 4 مگابایت