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

تعداد صفحات: 355

زبان: English

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

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