خرید و دانلود نسخه کامل کتاب Logic Programming: Operational Semantics and Proof Theory

برنامه ریزی منطقی: معناشناسی عملیاتی و نظریه اثبات

Logic Programming: Operational Semantics and Proof Theory

نویسنده: James H. Andrews

ناشر: Cambridge University Press

سال انتشار: 1992

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

زبان: English

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

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