خانه / تمامی کتاب‌ها / کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

دانلود کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

Name: 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982
Rating: 4.8 (11 reviews)
Author: L. Wos (auth.), D. W. Loveland (eds.)

دانلود کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

نویسنده: L. Wos (auth.), D. W. Loveland (eds.)

شماره سریال: ۹۷۸۳۵۴۰۱۱۵۵۸۸

ناشر: Springer Berlin Heidelberg

سال: ۱۹۸۲

نسخه ناشر (کیفیت اصلی)

امتیاز کاربران: (۰.۰) :

حجم فایل

۲.۱۵ مگابایت

تعداد صفحات

۳۹۷.۰

قیمت کتاب: ۷۸,۹۰۰ تومان

توضیحات

معرفی کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982

کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 نوشته L. Wos (auth.), D. W. Loveland (eds.) یکی از آثار مهم در حوزه مربوطه محسوب می‌شود. این کتاب حاوی مطالب ارزشمند و مفیدی است که برای علاقه‌مندان به این موضوع بسیار مناسب می‌باشد.