بازنویسی، حل، اثبات
Rewriting, solving, proving
نویسنده: Kirchner C., Kirchner S.
ناشر: CNRS
سال انتشار: 2006
تعداد صفحات: 362
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 3 مگابایت
توضیحی برای این کتاب ثبت نشده است.