دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 9th International Conference, LPAR 2002 Tbilisi, Georgia, October 14–18, 2002 Proceedings
by M. Alpuente
|
عنوان فارسی: منطق برای برنامه نویسی، هوش مصنوعی، و استدلال؛ 9 کنفرانس بین المللی، LPAR 2002 تفلیس، گرجستان، 14-18 اکتبر، 2002 مقالات |