دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005. Proceedings
by Allen Van Gelder (auth.)
|
عنوان فارسی: منطق برای برنامه نویسی، هوش مصنوعی، و استدلال؛ 12th کنفرانس بین المللی، LPAR 2005، مونتگوبی، جامائیکا، دسامبر 2-6، 2005. مجموعه مقالات |