دانلود کتاب Logic Programming and Automated Reasoning: 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13–20, 1993 Proceedings
by Hassan Aït-Kaci
|
عنوان فارسی: برنامه ریزی منطقی و استدلال خودکار: چهارمین کنفرانس بین المللی، LPAR'93 سن پترزبورگ، روسیه، 13 تا 20 ژوئیه، 1993 مجموعه مقالات |