خرید و دانلود نسخه کامل کتاب 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 مجموعه مقالات

Artificial Intelligence, Automated Reasoning, and Symbolic Computation: Joint International Conferences AISC 2002 and Calculemus 2002 Marseille, France, July 1–5, 2002 Proceedings

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

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 2002

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

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

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