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