خرید و دانلود نسخه کامل کتاب [Dissertation] Extensions and Applications of Higher-order Unification

[پایان نامه] الحاقات و کاربردهای یکسان سازی مرتبه عالی

[Dissertation] Extensions and Applications of Higher-order Unification

نویسنده: Conal M. Elliott

ناشر: Carnegie Mellon University

سال انتشار: 1990

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

زبان: English

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

حجم فایل: 943 کیلوبایت