دانلود کتاب Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

هوش مصنوعی ، استدلال خودکار و محاسبه نمادین: کنفرانس های مشترک بین المللی AISC 2002 و Calculemus 2002 مارسی ، فرانسه ، مقالات 1 تا 5 ژوئیه 2002

زبان : English

نویسندگان : Eugene C. Freuder (auth.), Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge (eds.)

ناشر : Springer-Verlag Berlin Heidelberg

سال انتشار : 2002

ISBN (شابک) : 3540438653, 9783540438656

ویرایش : [1 ed.]

سری : Lecture Notes in Computer Science 2385 : Lecture Notes in Artificial Intelligence

تعداد صفحات : 350[354]

حجم : 3 مگابایت

فرمت کتاب : pdf

قیمت : 36000 تومان