دانلود کتاب Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings
by Eugene C. Freuder (auth.)
|
عنوان فارسی: هوش مصنوعی، استدلال خودکار و محاسبات نمادین: مشترک بین المللی همایش AISC 2002 و Calculemus 2002 مارسی، فرانسه، 01-05 ژوئیه، 2002 مقالات |