خرید و دانلود نسخه کامل کتاب Termination Proofs for Logic Programs

خاتمه اثبات برنامه های منطق

Termination Proofs for Logic Programs

نویسنده: Lutz Plümer (auth.)

ناشر: Springer-Verlag Berlin Heidelberg

سال انتشار: 1990

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

زبان: English

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

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