دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005. Proceedings
by Matthias Baaz
|
عنوان فارسی: منطق برای برنامه نویسی، هوش مصنوعی، و استدلال: 11TH کنفرانس بین المللی، LPAR 2004، مونته ویدئو، اروگوئه، 14-18 مارس، 2005. مجموعه مقالات |