jouannaud

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

دانلود کتاب 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 نویسنده: Nachum Dershowitz – Georg Moser (auth.) – Hubert Comon-Lundh – Claude Kirchner –…