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

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

زبان : English

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

ناشر : Springer Berlin Heidelberg

سال انتشار : 1982

ISBN (شابک) : 3540115587, 9783540115588

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

سری : Lecture Notes in Computer Science 138

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

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

فرمت کتاب : djvu

قیمت : 36000 تومان