ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982

دانلود کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 (به فارسی: ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982) نوشته شده توسط «L. Wos (auth.) – D. W. Loveland (eds.)»

اطلاعات کتاب ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982

موضوع اصلی: نرم افزار: CAD

نوع: کتاب الکترونیکی

ناشر: Springer Berlin Heidelberg

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

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 1982

تعداد صفحه: 397

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

کد کتاب: 3540115587 , 9783540115588

نوبت چاپ: 1

توضیحات کتاب ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982

ششمین کنفرانس در کسر خودکار نیویورک، ایالات متحده آمریکا، 7-9 ژوئن 1982

دانلود کتاب «ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982»