دانلود کتاب Automated Reasoning: 4th International Joint Conference, IJCAR 2008 Sydney, Australia, August 12-15, 2008 Proceedings
by Aarti Gupta (auth.)
|
عنوان فارسی: استدلال خودکار: کنفرانس 4 مشترک بین المللی، IJCAR 2008 سیدنی، استرالیا، 12-15 اوت، 2008 مقالات |