دانلود کتاب Logic Programming and Automated Reasoning: International Conference LPAR '92 St. Petersburg, Russia, July 15–20, 1992 Proceedings
by Halina Przymusinska
|
عنوان فارسی: برنامه ریزی منطقی و استدلال خودکار: کنفرانس بین المللی LPAR '92 سن پترزبورگ، روسیه، 15 تا 20 ژوئیه، 1992 مجموعه مقالات |