دانلود کتاب Rewriting, Computation and Proof: Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
بازنویسی ، محاسبه و اثبات: مقاله های اختصاص داده شده به ژان پیر ژوانو به مناسبت 60 سالگی
زبان : English
نویسندگان : Nachum Dershowitz, Georg Moser (auth.), Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner (eds.)
ناشر : Springer-Verlag Berlin Heidelberg
سال انتشار : 2007
ISBN (شابک) : 3540731466, 9783540731474, 9783540731467
ویرایش : [1 ed.]
سری : Lecture Notes in Computer Science 4600 : Theoretical Computer Science and General Issues
تعداد صفحات : 276[286]
حجم : 3 مگابایت
فرمت کتاب : pdf
قیمت : 36000 تومان