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