دانلود کتاب Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
by Geoff Sutcliffe (auth.)
|
عنوان فارسی: مقالات 16 کنفرانس بین المللی، LPAR-16، داکار، سنگال، آوریل 25، 2010 مه 1، تجدید نظر انتخاب شده: منطق برای برنامه نویسی، هوش مصنوعی، و استدلال |