یک اصل وضوح برای منطق با کمیت سنجهای محدود
A Resolution Principle for a Logic with Restricted Quantifiers
نویسنده: H. -J. Bürckert (eds.)
ناشر: Springer-Verlag Berlin Heidelberg
سال انتشار: 1991
تعداد صفحات: 122
زبان: English
فرمت: djvu - قابل تبدیل به سایر فرمت ها
حجم فایل: 1 مگابایت