دانلود کتاب Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
by José Meseguer|
|
عنوان فارسی: استدلال خودکار: کنفرانس بین المللی مشترک دوم، IJCAR 2004، چوب پنبه، ایرلند، ژوئیه 04-08، 2004. مجموعه مقالات |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟