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