خرید و دانلود نسخه کامل کتاب Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

بازنویسی، محاسبه و اثبات: مقالات اختصاصی به ژان پیر جونوود درمورد 60 سالگی او

Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday

نویسنده: Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2007

تعداد صفحات: 286

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 3 مگابایت