دانلود کتاب 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 مجموعه مقالات |