دانلود کتاب Logic for Programming and Automated Reasoning: 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings
by Michel Parigot
|
عنوان فارسی: منطق برای برنامه نویسی و استدلال خودکار: 7 کنفرانس بین المللی، LPAR 2000 جزیره ریونیون، فرانسه، 06-10 نوامبر، 2000 مقالات |