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