تئوری سیستم های استنتاج و کاربردهای آن
Theory of Deductive Systems and Its Applications
نویسنده: S. Yu. Maslov, Michael Gelfond, Vladimir Lifschitz
ناشر: The MIT Press
سال انتشار: 1987
تعداد صفحات: 168
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت