دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings
by Franz Baader
|
عنوان فارسی: منطق برای برنامه نویسی، هوش مصنوعی، و استدلال: 10 کنفرانس بین المللی، LPAR 2003، Almaty، قزاقستان، 22-26 سپتامبر، 2003. مجموعه مقالات |