دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings
by Joao Marques-Silva
|
عنوان فارسی: منطق برای برنامه نویسی، هوش مصنوعی، و استدلال: 15 کنفرانس بین المللی، LPAR 2008، دوحه، قطر، 22-27 نوامبر، 2008. مجموعه مقالات |