خرید و دانلود نسخه کامل کتاب Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966

Automation of Reasoning: 1: Classical Papers on Computational Logic 1957-1966

Automation of Reasoning: 1: Classical Papers on Computational Logic 1957–1966

نویسنده: Jӧrg Siekmann and Graham Wrightson (eds.)

ناشر: Springer-Verlag

سال انتشار: 1983

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

زبان: English

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

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