اثبات قضیه مکانیکی در هندسه: اصول اساسی
Mechanical Theorem Proving in Geometries: Basic Principles
نویسنده: Dr. Wen-tsün Wu (auth.)
ناشر: Springer-Verlag Wien
سال انتشار: 1994
تعداد صفحات: 300
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت