دانلود کتاب Term Rewriting and Applications: 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings

بازنویسی مدت و کاربردها: هجدهمین کنفرانس بین المللی ، RTA 2007 ، پاریس ، فرانسه ، 26 تا 28 ژوئن ، 2007. مجموعه مقالات

زبان : English

نویسندگان : Xavier Leroy (auth.), Franz Baader (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2007

ISBN (شابک) : 3540734473, 9783540734475

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 4533 : Theoretical Computer Science and General Issues

تعداد صفحات : 422[429]

حجم : 4 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان