اثبات معادلات متعارف
Canonical Equational Proofs
نویسنده: Leo Bachmair (auth.)
ناشر: Birkhäuser Basel
سال انتشار: 1991
تعداد صفحات: 141
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 5 مگابایت
توضیحی برای این کتاب ثبت نشده است.